SAT 2008 (2008 Guangzhou, China)

• Theory and applications of satisfiability testing--SAT 2008