Languages
Creignou, Nadia.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Complexity of constraints = an overview of current research themes /
by:
SpringerLink (Online service); Vollmer, Heribert; Creignou, Nadia.; Kolaitis, Phokion.
(Language materials, printed)
Theory and Applications of Satisfiability Testing – SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /
by:
SpringerLink (Online service); Le Berre, Daniel.; Creignou, Nadia.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Theory and applications of satisfiability testing - SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings /
by:
Le Berre, Daniel.; SpringerLink (Online service); Creignou, Nadia.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Computer algorithms
Software Engineering.
Computer science—Mathematics.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Software engineering.
Theory of Computation.
Data Structures.
Mathematics of Computing.
Computer Science.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computational complexity.
Computer Graphics.
Constraints (Artificial intelligence)
Computers.
Discrete Mathematics in Computer Science.
Numeric Computing.
Computer software