TY - GEN
T1 - Domain views for constraint programming
AU - Van Hentenryck, Pascal
AU - Michel, Laurent
PY - 2014
Y1 - 2014
N2 - Traditional constraint-programming systems provide the concept of variable views which implement a view of the type y∈=∈f(x) by delegating operations on variable y to variable x. While the traditional support is limited to bound consistency, this paper offers views that support domain consistency without any limitations. This paper proposes the alternative concept of domain views which delegate all domain operations. Domain views preserve the benefits of variable views, simplify the implementation of value-based propagation, and also support non-injective views compositionally. Experimental results demonstrate the practical benefits of domain views. The paper also reveals a subtle interaction between views and the exploitation of constraint idempotence, which may lead to incomplete propagation.
AB - Traditional constraint-programming systems provide the concept of variable views which implement a view of the type y∈=∈f(x) by delegating operations on variable y to variable x. While the traditional support is limited to bound consistency, this paper offers views that support domain consistency without any limitations. This paper proposes the alternative concept of domain views which delegate all domain operations. Domain views preserve the benefits of variable views, simplify the implementation of value-based propagation, and also support non-injective views compositionally. Experimental results demonstrate the practical benefits of domain views. The paper also reveals a subtle interaction between views and the exploitation of constraint idempotence, which may lead to incomplete propagation.
UR - https://www.scopus.com/pages/publications/84906214080
U2 - 10.1007/978-3-319-10428-7_51
DO - 10.1007/978-3-319-10428-7_51
M3 - Conference Paper
SN - 9783319104270
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 705
EP - 720
BT - Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings
PB - Springer Verlag
T2 - 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014
Y2 - 8 September 2014 through 12 September 2014
ER -