Theory and Applications of Satisfiability Testing – SAT 2012 - Hutchison, David (Springer Berlin Heidelberg, 2012)