Marques-Silva, J., K. Sakallah, and I. Lynce. “Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing”. AI Magazine, vol. 28, no. 4, Dec. 2007, p. 135, doi:10.1609/aimag.v28i4.2075.