Pattern name |
AlternateView. |
Context |
An informal problem specification. |
Problem |
Choosing between two different viewpoints. |
Forces |
Certain constraints can be easier to post on one view. Certain constraints can propagate better in one view. Certain constraints can be easier to post on the other view. Certain constraints can propagate better in the other view. |
Solution |
Consider a combined model with channelling between
the two viewpoints. |
Example |
Balanced Academic Curriculum Problem,
prob030 in
CSPLib. |
References |
Speeding Up Constraint Propagation By Redundant Modeling
(CiteSeer)
B.M.W. Cheng, J.H.M. Lee, and J.C.K. Wu. Proceedings of CP-96, 1996. Modelling a Balanced Academic Curriculum Problem (pdf, legal ps, letter ps) Brahim Hnich, Zeynep Kiziltan and Toby Walsh, Proceedings of CP-AI-OR-2002, 2002. Hybrid Modelling for Robust Solving (pdf, legal ps letter ps) Brahim Hnich, Zeynep Kiziltan, Ian Miguel, and Toby Walsh. To appear in Annals of Operations Research, 2003 Models of Permutation and Injection Problems (ps) Brahim Hnich, Barbara Smith, and Toby Walsh. Submitted to Journal of AI Research (JAIR), 2003
|