Languages
Creignou, Nadia.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Complexity of constraintsan overview of current research themes /
by:
Creignou, Nadia.; Kolaitis, Phokion.; SpringerLink (Online service); Vollmer, Heribert
(Language materials, printed)
Complexity classifications of Boolean constraint satisfaction problems /
by:
Creignou, Nadia.; Khanna, Sanjeev.; Sudan, Madhu.
(Language materials, printed)
Complexity classifications of Boolean constraint satisfaction problems
by:
Creignou, Nadia.; Khanna, Sanjeev.; Sudan, Madhu.
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201619th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings /
by:
(1998 :); Creignou, Nadia.; Le Berre, Daniel.; SpringerLink (Online service)
(Electronic resources)
Subjects
Theory of Computation.
Software Engineering.
Computational complexity.
Computer algorithms
Mathematics of Computing.
Boolean algebra.
Algebra, Boolean.
Contraintes (Intelligence artificielle)
Data Structures.
Computer Graphics.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer software
Numeric Computing.
Constraints (Artificial intelligence)
Discrete Mathematics in Computer Science.
Computer Science.