Constraints (Artificial intelligence)

Complexity classifications of Boolean constraint satisfaction problems by: (Language materials, printed)

Complexity of constraints = an overview of current research themes / by: (Language materials, printed)

Recent advances in constraints = 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers / by: (Electronic resources)

Efficient solving of large arithmetic constraint systems with complex Boolean structure = proof engines for the analysis of hybrid discrete-continuous systems / by: (Electronic resources)

Intelligent autonomous control of spacecraft with multiple constraints by: (Electronic resources)

Constraint decision-making systems in engineering by: (Electronic resources)

Bridging constraint satisfaction and Boolean satisfiability by: (Electronic resources)

Mathematical Logic and Formal Languages.

Computer Science, general.

Theory of Computation.

Computational complexity.

Logics and Meanings of Programs.

Decision support systems.

Algebra, Boolean.

Contraintes (Intelligence artificielle)

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computer Graphics.

Data Structures.

Programming Languages, Compilers, Interpreters.

Numeric Computing.

Automatic theorem proving.

Constraints (Artificial intelligence)

Computer science- Mathematics.

Space vehicles- Automatic control.

Control, Robotics, Automation.

Aerospace Technology and Astronautics.

Computer Science.

Discrete Mathematics in Computer Science.

Constraint programming (Computer science)

Symbolic and Algebraic Manipulation.

Intelligent agents (Computer software)