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