Ofer Strichman,Stefan Szeider

• Theory and Applications of Satisfiability Testing - SAT 2010