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