Effective Problem Solving Using SAT Solvers presented by Curtis Bright, Juergen Gerhard, Ilias Kotsireas, and Vijay Ganesh.
