Theory and Applications of Satisfiability Testing SAT 2016Nadia Creignou, Daniel Le Berre · First published 2016Open the Tome
Complexity of ConstraintsNadia Creignou, Phokion G. Kolaitis, Heribert Vollmer · First published 2008Open the Tome
Complexity classifications of Boolean constraint satisfaction problemsNadia Creignou · First published 1987Open the Tome
