[1]
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 (Dec. 2007), 135. DOI:https://doi.org/10.1609/aimag.v28i4.2075.