BEIERLE, Christoph; VON BERG, Martin; SANIN, Arthur. Realization of c-Inference as a SAT Problem. The International FLAIRS Conference Proceedings, [S. l.], v. 35, 2022. DOI: 10.32473/flairs.v35i.130663. Disponível em: https://journals.flvc.org/FLAIRS/article/view/130663. Acesso em: 12 dec. 2024.