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

by Lucas Bordeaux , Youssef Hamadi , Lintao Zhang
Venue:ACM Computing Surveys
Citations:34 - 4 self