Dominance Jumping
Attached are the models and instances used for the paper
-
Geoffrey Chu and Peter J. Stuckey.
Dominance driven search.
In Proceedings of the 19th International Conference on
Principles and Practice of Constraint Programming.
LNCS 8124, pages 217-229, Springer, 2013
[PDF]