13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010), July

http://ie.technion.ac.il/SAT1