Marques-Silva, Joao, Karem Sakallah, and Ines Lynce. 2007. “Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing”. AI Magazine 28 (4):135. https://doi.org/10.1609/aimag.v28i4.2075.