Oliver Kullmann

• Theory and Applications of Satisfiability Testing SAT 2009 Lecture Notes in Computer Science
• Theory and Applications of Satisfiability Testing - SAT 2009