Theory and Applications of Satisfiability Testing – SAT 2013 - Jarvisalo, Matti; Gelder, Allen; Van Gelder, Allen (Springer Berlin Heidelberg, 2013)