HAMADI, Y.; WINTERSTEIGER, C. Seven Challenges in Parallel SAT Solving. AI Magazine, [S. l.], v. 34, n. 2, p. 99, 2013. DOI: 10.1609/aimag.v34i2.2450. Disponível em: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2450. Acesso em: 29 may. 2024.