SAT-Based versus CSP-Based Constraint Weighting for Satisfiability.

Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi

Browse the full AAAI paper archive.