Theory and applications of satisfiability testing-- SAT 2010 13th international conference, SAT 2010 Edinburgh, UK, July 2010 : proceedings / - Strichman, Ofer.; Szeider, Stefan. (Springer,)