Propositional Satisfiability and Constraint Programming: a Comparative Survey (2006)

by Lucas Bordeaux, Youssef Hamadi, Lintao Zhang
Venue:ACM Computing Surveys