Theory and Applications of Satisfiability Testing – SAT 2007 - Marques-Silva, João; Hutchison, David; Kanade, Takeo; Sakallah, Karem A.; Kittler, Josef (Springer Berlin Heidelberg, 2007)