SAT 2010 (2010 Edinburgh, UK)

• Theory and applications of satisfiability testing-- SAT 2010