Symmetry definitions for constraint satisfaction problems
From MaRDI portal
Publication:850464
DOI10.1007/s10601-006-8059-8zbMath1103.68809OpenAlexW2016578044MaRDI QIDQ850464
Barbara M. Smith, Christopher Jefferson, Karen E. Petrie, Peter G. Jeavons, David A. Cohen
Publication date: 3 November 2006
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://ora.ox.ac.uk/objects/uuid:b0cd60ab-e27e-4f18-9948-fb496af60cfd
Related Items (17)
Power of pre-processing: production scheduling with variable energy pricing and power-saving states ⋮ Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems ⋮ Lifting symmetry breaking constraints with inductive logic programming ⋮ Computer-aided proof of Erdős discrepancy properties ⋮ Variable symmetry breaking in numerical constraint problems ⋮ Symmetry Breaking Constraints for the Minimum Deficiency Problem ⋮ Hybrid Tractable Classes of Constraint Problems ⋮ Generating custom propagators for arbitrary constraints ⋮ Constraint models for graceful graphs ⋮ A constraint-based approach to enigma 1225 ⋮ Pairwise symmetry reasoning for multi-agent path finding search ⋮ The monoids of orders eight, nine \& ten. ⋮ Speeding up operations on feature terms using constraint programming and variable symmetry ⋮ On the hardness of solving edge matching puzzles as SAT or CSP problems ⋮ Lightweight dynamic symmetry breaking ⋮ Symmetries, almost symmetries, and lazy clause generation ⋮ A method for detecting symmetries in constraint models and its generalisation
Uses Software
Cites Work
- Automatic Detection of Variable and Value Symmetries
- Recent Advances in Constraints
- Principles and Practice of Constraint Programming – CP 2003
- Principles and Practice of Constraint Programming – CP 2004
- Exploiting symmetries within constraint satisfaction search
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Symmetry definitions for constraint satisfaction problems
