1.
Marques-Silva J, Sakallah K, Lynce I. Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing. AIMag [Internet]. 2007Dec.15 [cited 2021Dec.6];28(4):135. Available from: https://ojs.aaai.org/index.php/aimagazine/article/view/2075