Constraint retraction in FD

DOI10.1007/3-540-62034-6_47MaRDI QIDQ6567766zbMATH OpenFDO

Authors Philippe Codognet, Daniel Diaz, Francesca Rossi

Publication date 5 July 2024

Full work available at URL https://doi.org/10.1007/3-540-62034-6_47

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Constraint retraction in CLP(FD): Formal framework and performance results
• scientific article; zbMATH DE number 2152986
• Principles and Practice of Constraint Programming – CP 2004
• Incremental constraint deletion in systems of linear constraints
• Reasoning on constraints in CLP(FD)

Cites work

• A generic arc-consistency algorithm and its specializations
• Compiling constraints in clp(FD)
• Consistency in networks of relations

This page was built for publication: Constraint retraction in FD

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