SAT 2007 (2007 Lisbon, Portugal)

• Theory and applications of satisfiability testing