Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014. The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies.

Computer science. --- Algorithms. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Mathematics of Computing. --- Artificial Intelligence (incl. Robotics). --- Algorithm Analysis and Problem Complexity. --- Mathematics. --- Computer software. --- Artificial Intelligence. --- Informatics --- Science --- Software, Computer --- Computer systems --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Constraint programming (Computer science) --- Computer science—Mathematics. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Foundations

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-proceedings of the 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, held in Barcelona, Spain, in June 2009. The 9 revised full papers presented were carefully reviewed and selected for inclusion in this post-proceedings. The papers in this volume present original research results and applications of constraint solving and constraint logic programming in several domains. Among the issues addressed are solving argumentation frameworks, software consistency, modeling languages, static design routing, dynamic constraint satisfaction, and constraint-based modeling.

Constraint programming (Computer science) --- Constraints (Artificial intelligence) --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer Science --- Mechanical Engineering - General --- Information Technology --- Artificial Intelligence --- Logic programming. --- Computer science. --- Programming languages (Electronic computers). --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Programming Languages, Compilers, Interpreters. --- Symbolic and Algebraic Manipulation. --- Algorithm Analysis and Problem Complexity. --- Mathematics. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer mathematics --- Discrete mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Informatics --- Science --- Foundations --- Computer programming --- Logic design. --- Computer software. --- Artificial Intelligence. --- Data processing. --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer science—Mathematics.