Choose an application

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

Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. Eclipse is one of the leading software systems that realise its underlying methodology. Eclipse is exploited commercially by Cisco, and is freely available and used for teaching and research in over 500 universities. This book has a two-fold purpose. It's an introduction to constraint programming, appropriate for one-semester courses for upper undergraduate or graduate students in computer science or for programmers wishing to master the practical aspects of constraint programming. By the end of the book, the reader will be able to understand and write constraint programs that solve complex problems. Second, it provides a systematic introduction to the Eclipse system through carefully-chosen examples that guide the reader through the language and illustrate its power, versatility and utility.

Constraint programming (Computer science) --- Logic programming.

Choose an application

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

This book constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2007, held in Brussels, Belgium in May 2007. The 27 revised full papers presented were carefully reviewed and selected from 80 submissions. Methodological and foundational issues from AI, OR, and algorithmics are presented as well as applications to the solution of combinatorial optimization problems in various fields via constraint programming.

Constraints (Artificial intelligence) --- Constraint programming (Computer science) --- Combinatorial optimization --- Artificial intelligence --- Operations research --- Contraintes (Intelligence artificielle) --- Programmation par contraintes --- Optimisation combinatoire --- Intelligence artificielle --- Recherche opérationnelle --- Congresses. --- Technique --- Congrès --- Data processing --- Artificial intelligence -- Congresses. --- Combinatorial optimization -- Congresses. --- Constraint programming (Computer science) -- Congresses. --- Constraints (Artificial intelligence) -- Congresses. --- Operations research -- Congresses. --- Computer Science --- Applied Mathematics --- Engineering & Applied Sciences --- Constraint satisfaction (Artificial intelligence) --- Computer science. --- Operations research. --- Decision making. --- Algorithms. --- Numerical analysis. --- Computer science --- Artificial intelligence. --- Combinatorics. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Numeric Computing. --- Discrete Mathematics in Computer Science. --- Algorithm Analysis and Problem Complexity. --- Operation Research/Decision Theory. --- Mathematics. --- Combinatorics --- Algebra --- Mathematical analysis --- 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 --- Algorism --- Arithmetic --- Deciding --- Decision (Psychology) --- Decision analysis --- Decision processes --- Making decisions --- Management --- Management decisions --- Choice (Psychology) --- Problem solving --- Operational analysis --- Operational research --- Industrial engineering --- Management science --- Research --- System theory --- Informatics --- Science --- Mathematics --- Foundations --- Decision making --- Electronic data processing. --- Computational complexity. --- Computer software. --- Artificial Intelligence. --- Operations Research/Decision Theory. --- Software, Computer --- Computer systems --- Complexity, Computational --- ADP (Data processing) --- Automatic data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Automation --- Computer science—Mathematics. --- Combinatorial optimization - Data processing - Congresses --- Constraint programming (Computer science) - Congresses --- Constraints (Artificial intelligence) - Congresses --- Operations research - Technique - Congresses --- Artificial intelligence - Technique - Congresses --- Discrete mathematics. --- Numerical Analysis. --- Operations Research and Decision Theory. --- Discrete Mathematics. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis

Choose an application

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

Constraint programming (Computer science) --- Logic programming --- Programmation par contraintes --- Programmation logique --- Congresses. --- Congrès --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Information Technology --- Artificial Intelligence --- Computer science. --- Programming languages (Electronic computers). --- Algorithms. --- Computer logic. --- Mathematical logic. --- Numerical analysis. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Numeric Computing. --- Mathematical Logic and Formal Languages. --- 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 --- Mathematical analysis --- 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 --- Logic design. --- Computer software. --- Electronic data processing. --- Artificial Intelligence. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Automation