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