Marques-Silva, Joao, Karem Sakallah, and Ines Lynce. “Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing”. AI Magazine 28, no. 4 (December 15, 2007): 135. Accessed November 29, 2021. https://ojs.aaai.org/index.php/aimagazine/article/view/2075.