Theory and Applications of Satisfiability Testing - SAT 2007 - Marques-Silva, Joao (Springer Berlin Heidelberg, 2020)