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

Cached

Download Links

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