Dual model

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