Global domain views for expressive and cross-domain constraint programming

DOI10.1007/S10601-021-09324-7zbMATH Open1490.68206OpenAlexW4205356495MaRDI QIDQ2152270FDOQ2152270

Authors: Dimitri Justeau-Allaire, Charles Prud'homme 

Publication date: 7 July 2022

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-021-09324-7

Recommendations

• View-based propagation of decomposable constraints
• Recent Advances in Constraints
• View-based propagator derivation
• scientific article; zbMATH DE number 2032420
• Principles and Practice of Constraint Programming – CP 2003

zbMATH Keywords

constraint programmingset variablesdomain viewsgraph variables

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• Principles and practice of constraint programming. 20th international conference, CP 2014, Lyon, France, September 8--12, 2014. Proceedings
• CP(Graph): Introducing a Graph Computation Domain in Constraint Programming
• Principles and Practice of Constraint Programming – CP 2003
• The calculus of individuals and its uses
• Interval propagation to reason about sets: Definition and implementation of a practical language
• Permutation Problems and Channelling Constraints
• Progress towards the Holy Grail
• View-based propagator derivation
• Recent Advances in Constraints

Cited In (1)

• Recent Advances in Constraints

Uses Software

• CPGraph

This page was built for publication: Global domain views for expressive and cross-domain constraint programming

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