Essentials of constraint programming

MaRDI QIDQ2701742zbMATH OpenFDO

Authors Thom Frühwirth, Slim Abdennadher

Publication date 19 February 2001

Published in Cognitive Technologies (Search for Journal in Brave)

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• An introduction to constraint programming. Foundations, methods, languages and applications.
• scientific article; zbMATH DE number 1312992
• Constraint-based scheduling: Applying constraint programming to scheduling problems.
• scientific article; zbMATH DE number 1045433
• Programming constraint services. High-level programming of standard and new constraint services

Cited in

(28)

• Mutation testing in UTP
• A full first-order constraint solver for decomposable theories
• Programming constraint services. High-level programming of standard and new constraint services
• Constraint programming and decision making: theory and applications. Extended versions of selected papers based on the presentations at the CoProd'XX workshops 2013--2016
• Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
• Towards constraint-based school timetabling
• Constraint programming and maths programming
• Expander2: program verification between interaction and automation
• A formal semantics for the cognitive architecture ACT-R
• scientific article; zbMATH DE number 993897 (Why is no real title available?)
• Handbook of constraint programming.
• An introduction to constraint programming. Foundations, methods, languages and applications.
• Principles of constraint programming.
• Welcome to Constraint Handling Rules
• scientific article; zbMATH DE number 1312992 (Why is no real title available?)
• scientific article; zbMATH DE number 1337863 (Why is no real title available?)
• scientific article; zbMATH DE number 1045433 (Why is no real title available?)
• Unfolding for CHR programs
• scientific article; zbMATH DE number 2159464 (Why is no real title available?)
• An application of the process mechanism to a room allocation problem using the pCG language
• Quantified constraint handling rules
• From LP to LP: Programming with constraints
• Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
• Snapshot Generation in a Constructive Object-Oriented Modeling Language
• A Full First-Order Constraint Solver for Decomposable Theories
• Constraint reasoning
• Quantified constraint handling rules
• Scheduling and routing of automated guided vehicles: A hybrid approach

This page was built for publication: Essentials of constraint programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2701742)