An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search

Jimmy H. M. Lee, Zichen Zhu. An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search. In Barry O'Sullivan, editor, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings. Volume 8656 of Lecture Notes in Computer Science, pages 465-480, Springer, 2014. [doi]

Abstract

Abstract is missing.