Nadia Creignou

Nadia Creignou

3 books in the database

Books

Complexity classifications of Boolean constraint satisfaction problemsNadia Creignou

Complexity classifications of Boolean constraint satisfaction problems

Nadia Creignou · 1987

Theory and Applications of Satisfiability Testing SAT 2016Nadia Creignou

Theory and Applications of Satisfiability Testing SAT 2016

Nadia Creignou · 2016

Complexity of ConstraintsNadia Creignou

Complexity of Constraints

Nadia Creignou · 2008