Promoting constraints to first-class status

DOI10.1007/3-540-44957-4_29MaRDI QIDQ2767077zbMATH OpenFDO

Authors Tobias Müller

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44957-4_29

zbMATH Keywords

constraint programmingearly failure detectionfirst-class constraintsminimal sets of inconsistent constraintssimplification and garbage collection of constraints

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2087524
• scientific article; zbMATH DE number 1059310
• Exposing Constraints
• Principles and Practice of Constraint Programming – CP 2004
• scientific article; zbMATH DE number 1234564
• The essence of constraint propagation
• Pushing constraint selections
• Second-class constraints
• Principles and Practice of Constraint Programming – CP 2004

Cited in

(2)

• Constraint solving for proof planning
• scientific article; zbMATH DE number 3878328 (Why is no real title available?)

This page was built for publication: Promoting constraints to first-class status

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