Access the full text.
Sign up today, get DeepDyve free for 14 days.
J Crawford, M Ginsberg, E Luks, A Roy (1996)
Proceedings of KR’96
Pascal Hentenryck, P. Flener, J. Pearson, Magnus Ågren (2003)
Tractable Symmetry Breaking for CSPs with Interchangeable Values
Jean-Charles Régin (1996)
Generalized Arc Consistency for Global Cardinality Constraint
J. Puget (1993)
On the Satisfiability of Symmetrical Constrained Satisfaction Problems
J-F Puget (2006)
Proceedings of AAAI’06
J. Puget (2006)
An Efficient Way of Breaking Value Symmetries
J. Crawford, M. Ginsberg, E. Luks, Amitabha Roy (1996)
Symmetry-Breaking Predicates for Search Problems
IP Gent, BM Smith (2000)
Proceedings of ECAI’00
P. Flener, J. Pearson, Meinolf Sellmann, Pascal Hentenryck, Magnus Ågren (2009)
Dynamic structural symmetry breaking for constraint satisfaction problemsConstraints, 14
P. Flener, Alan Frisch, Brahim Hnich, Z. Kiziltan, Ian Miguel, J. Pearson, T. Walsh (2002)
Breaking Row and Column Symmetries in Matrix Models
P Hentenryck, P Flener, J Pearson, M Ågren (2005)
Proceedings of SARA’05
J-F Puget (1993)
Proceedings of ISMIS’93
Meinolf Sellmann, Pascal Hentenryck (2005)
Structural Symmetry Breaking
Pascal Hentenryck, P. Flener, J. Pearson, Magnus Ågren (2005)
Compositional Derivation of Symmetries for Constraint Satisfaction
J. Puget (2006)
Dynamic Lex Constraints
Daniel Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip (2008)
Model Restarts for Structural Symmetry Breaking
P. Cameron (1999)
Permutation Groups: Frontmatter
D Heller, A Panda, M Sellmann, J Yip (2008)
Proceedings of CP’08
T. Walsh (2008)
Breaking Value Symmetry
J. Puget (2005)
Automatic Detection of Variable and Value Symmetries
T. Walsh, C. Bessiere, Alan Frisch, E. Hébrard, Brahim Hnich, Z. Kiziltan, Ian Miguel (2006)
Symmetry Breaking
C. Roney-Dougal, Ian Gent, T. Kelsey, S. Linton (2004)
Tractable Symmetry Breaking Using Restricted Search Trees
Filippo Focacci, M. Milano (2001)
Global Cut Framework for Removing Symmetries
Ian Gent, Barbara Smith (1999)
Symmetry breaking during search in constraint programming
Peter Cameron, Michael Giudici, Gareth Jones, William Kantor, Mikhail Klin, D. Marušič (2019)
PERMUTATION GROUPSGroup Theory for Physicists
Ian Gent, Barbara Smith (2000)
Symmetry Breaking in Constraint Programming
J. Puget (2004)
Constraint Programming Next Challenge: Simplicity of Use
P Hentenryck, P Flener, J Pearson, M Ågren (2003)
Proceedings of IJCAI’03
We reconsider the idea of structural symmetry breaking for constraint satisfaction problems (CSPs). We show that the dynamic dominance checks used in symmetry breaking by dominance-detection search for CSPs with piecewise variable and value symmetries have a static counterpart: there exists a set of constraints that can be posted at the root node and that breaks all the compositions of these (unconditional) symmetries. The amount of these symmetry-breaking constraints is linear in the size of the problem, and yet they are able to remove a super-exponential number of symmetries on both values and variables. Moreover, we compare the search trees under static and dynamic structural symmetry breaking when using fixed variable and value orderings. These results are then generalised to wreath-symmetric CSPs with both variable and value symmetries. We show that there also exists a polynomial-time dominance-detection algorithm for this class of CSPs, as well as a linear-sized set of constraints that breaks these symmetries statically.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Dec 24, 2009
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.