Breaking Symmetry of Interchangeable Variables and Values

DOI10.1007/978-3-540-74970-7_31MaRDI QIDQ3523071zbMATH OpenOpenAlexFDO

Authors Toby Walsh, J. Y. K. Yip, Yat Chiu Law, J. H. M. Lee

Publication date 2 September 2008

Published in Principles and Practice of Constraint Programming – CP 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74970-7_31

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Breaking symmetries
• Breaking symmetries
• scientific article; zbMATH DE number 2084699
• Symmetry breaking
• Conditional Symmetry Breaking
• Symmetry breaking revisited

Cites work

• Automatic Detection of Variable and Value Symmetries
• Breaking All Value Symmetries in Surjection Problems
• Global Grammar Constraints
• scientific article; zbMATH DE number 2084699 (Why is no real title available?)
• On the Desirability of Acyclic Database Schemes
• Principles and Practice of Constraint Programming – CP 2004
• Principles and Practice of Constraint Programming – CP 2004
• Principles and Practice of Constraint Programming – CP 2004
• Propagation algorithms for lexicographic ordering constraints
• Symmetry breaking constraints for value symmetries in constraint satisfaction

Cited in

(13)

• Dynamic structural symmetry breaking for constraint satisfaction problems
• Towards breaking more composition symmetries in partial symmetry breaking
• Excluding symmetries in constraint-based search
• Lightweight dynamic symmetry breaking
• Symmetries, almost symmetries, and lazy clause generation
• A method for detecting symmetries in constraint models and its generalisation
• Parameterized complexity results in symmetry breaking
• Breaking All Value Symmetries in Surjection Problems
• Dynamic Lex Constraints
• Combining Symmetry Breaking and Global Constraints
• Principles and Practice of Constraint Programming – CP 2004
• Variable symmetry breaking in numerical constraint problems
• Minimal ordering constraints for some families of variable symmetries

This page was built for publication: Breaking Symmetry of Interchangeable Variables and Values

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3523071)