Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings - Marques-Silva, João; Sakallah, Karem A. (Springer Berlin Heidelberg, 2007)