[1]
J. Marques-Silva, K. Sakallah, and I. Lynce, “Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing”, AIMag, vol. 28, no. 4, p. 135, Dec. 2007.