"An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search."

Jimmy H. M. Lee, Zichen Zhu (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics