Sciweavers

41 search results - page 1 / 9
» Symmetry Definitions for Constraint Satisfaction Problems
Sort
View
CONSTRAINTS
2006
76views more  CONSTRAINTS 2006»
13 years 4 months ago
Symmetry Definitions for Constraint Satisfaction Problems
We review the many different definitions of symmetry for constraint satisfaction problems (CSPs) that have appeared in the literature, and show that a symmetry can be defined in tw...
David A. Cohen, Peter Jeavons, Christopher Jeffers...
CP
2006
Springer
13 years 8 months ago
General Symmetry Breaking Constraints
We describe some new propagators for breaking symmetries in constraint satisfaction problems. We also introduce symmetry breaking constraints to deal with symmetries acting simulta...
Toby Walsh
CONSTRAINTS
2006
105views more  CONSTRAINTS 2006»
13 years 4 months ago
Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction
Constraint satisfaction problems (CSPs) sometimes contain both variable symmetries and value symmetries, causing adverse effects on CSP solvers based on tree search. As a remedy, s...
Y. Law, J. Lee
SARA
2005
Springer
13 years 10 months ago
Compositional Derivation of Symmetries for Constraint Satisfaction
This paper reconsiders the problems of discovering symmetries in constraint satisfaction problems (CSPs). It proposes a compositional approach which derives symmetries of the appli...
Pascal Van Hentenryck, Pierre Flener, Justin Pears...
AAAI
2006
13 years 6 months ago
Constraint Symmetry and Solution Symmetry
Symmetry in constraint satisfaction problems (CSPs) has been considered in two fundamentally different ways: as an operation preserving the solutions of a CSP instance, or as an o...
David A. Cohen, Peter Jeavons, Christopher Jeffers...