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

by L Bordeaux, Y Hamadi, L Zhang
Venue:ACM Computing Surveys