SAC 2010 Tutorial

Satisfiability: Algorithms, Applications and Extensions