(1)
Marques-Silva, J.; Sakallah, K.; Lynce, I. Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing. AIMag 2007, 28, 135.