Lightweight dynamic symmetry breaking

DOI10.1007/s10601-013-9154-2zbMath1338.90269OpenAlexW2027625205MaRDI QIDQ2342593

Bart Demoen, Christopher Mears, Maria Garcia de la Banda, Mark G. Wallace

Publication date: 29 April 2015

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/419674

zbMATH Keywords

symmetrysymmetry breakinggroup theorysearch

Mathematics Subject Classification ID

Integer programming (90C10)

Related Items (4)

Towards breaking more composition symmetries in partial symmetry breaking ⋮ Lightweight dynamic symmetry breaking ⋮ A method for detecting symmetries in constraint models and its generalisation ⋮ Short-term scheduling of production fleets in underground mines using CP-based LNS

Uses Software

• GAP
• CSPLib
• Gecode

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symmetry breaking constraints for value symmetries in constraint satisfaction
• Symmetry definitions for constraint satisfaction problems
• Static and dynamic structural symmetry breaking
• Dynamic structural symmetry breaking for constraint satisfaction problems
• Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
• Lightweight dynamic symmetry breaking
• Breaking Symmetry of Interchangeable Variables and Values
• A Novel Approach For Detecting Symmetries in CSP Models
• Principles and Practice of Constraint Programming – CP 2003
• Principles and Practice of Constraint Programming – CP 2003

This page was built for publication: Lightweight dynamic symmetry breaking