JÄRVISALO, M.; LE BERRE, D.; ROUSSEL, O.; SIMON, L. The International SAT Solver Competitions. AI Magazine, [S. l.], v. 33, n. 1, p. 89-92, 2012. DOI: 10.1609/aimag.v33i1.2395. Disponível em: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2395. Acesso em: 19 apr. 2024.