Nadia Creignou
Identifiers
- Open LibraryOL2912979A
Top Subjects
- Mathematics (1)
- Mathematical theory of computation (1)
- Computational complexity (1)
- Applied mathematics (1)
- Logic (1)
- Science/Mathematics (1)
- Combinatorics & graph theory (1)
Books by Nadia Creignou
Total count: 3
Complexity Classifications of Boolean Constraint Satisfaction Problems (Monographs on Discrete Mathematics and Applications)Society for Industrial Mathematics1987-01-01-
Complexity of ConstraintsAn Overview of Current Research ThemesSpringer London, Limited2008-01-01
-
Theory and Applications of Satisfiability Testing - SAT 201619th International Conference, Bordeaux, France, July 5-8, 2016, ProceedingsSpringer London, Limited2016-01-01