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