語系
Creignou, Nadia.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Complexity classifications of Boolean constraint satisfaction problems
by:
Khanna, Sanjeev.; Sudan, Madhu.; Creignou, Nadia.
(書目-語言資料,印刷品)
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)
(書目-電子資源)
Complexity of constraints = an overview of current research themes /
by:
Creignou, Nadia.; Kolaitis, Phokion.; Vollmer, Heribert; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
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