Constraint CNF: SAT and CSP Language Under One Roof.

Broes De Cat, Yuliya Lierler

Browse the full ICLP paper archive.