Dominance Breaking
Attached are the models and instances used for the papers
-
G. Chu and P.J. Stuckey.
Dominance Breaking Constraints
-
G. Chu and P.J. Stuckey.
A generic method for identifying and exploiting dominance relations.
In M. Milano, editor, Proceedings of the 18th International
Conference on Principles and Practice of Constraint Programming,
pages 6-22. LNCS 7514. Springer, 2012.
[PDF]
Best Paper Award: CP 2012
Or all in one file
models.zip
Dominance Jumping
We use the same models but different (harder) instances for
the Dominance Driven Search paper, which you can find
here