Conditional Symmetry Breaking

DOI10.1007/11564751_21MaRDI QIDQ3524179zbMATH OpenOpenAlexWikidataFDO

Authors Tom Kelsey, Steve Linton, Iain McDonald, Barbara M. Smith, Ian P. Gent, Ian Miguel

Publication date 9 September 2008

Published in Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11564751_21

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2084699
• Dynamic structural symmetry breaking for constraint satisfaction problems
• General Symmetry Breaking Constraints
• Symmetry breaking revisited
• Symmetries of symmetry breaking constraints

Cited in

(11)

• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• Orbitopal fixing for the full (sub-)orbitope and application to the unit commitment problem
• Symmetries, almost symmetries, and lazy clause generation
• Dominance breaking constraints
• Local Symmetry Breaking During Search in CSPs
• Breaking Symmetry of Interchangeable Variables and Values
• Groupoids and Conditional Symmetry
• scientific article; zbMATH DE number 2084699 (Why is no real title available?)
• Exploiting subproblem dominance in constraint programming
• An adaptive model restarts heuristic
• Dynamic symmetry-breaking for Boolean satisfiability

This page was built for publication: Conditional Symmetry Breaking

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