João Marques-Silva Karem A. Sakallah Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings SAT Lecture Notes in Computer Science 4501 Springer 2007 978-3-540-72787-3 db/conf/sat/sat2007.html