Propositional satisfiability and constraint programming: A comparative survey (0)

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