Nadia Creignou

Nadia Creignou

3 ספרים במאגר

ספרים

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