Lightweight dynamic symmetry breaking
From MaRDI portal
Publication:2342593
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
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
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