Sciweavers

26 search results - page 1 / 6
» Local Symmetry Breaking During Search in CSPs
Sort
View
CP
2007
Springer
13 years 8 months ago
Local Symmetry Breaking During Search in CSPs
Belaid Benhamou, Mohamed Réda Saïdi
IJCAI
2003
13 years 6 months ago
Tractable Symmetry Breaking for CSPs with Interchangeable Values
Symmetry breaking in CSPs has attracted consid­ erable attention in recent years. Various general schemes have been proposed to eliminate sym­ metries during search. In general,...
Pascal Van Hentenryck, Pierre Flener, Justin Pears...
CP
2006
Springer
13 years 8 months ago
Static and Dynamic Structural Symmetry Breaking
We reconsider the idea of structural symmetry breaking (SSB) for constraint satisfaction problems (CSPs). We show that the dynamic dominance checks used in symmetry breaking by dom...
Pierre Flener, Justin Pearson, Meinolf Sellmann, P...
AISC
2004
Springer
13 years 10 months ago
New Developments in Symmetry Breaking in Search Using Computational Group Theory
Symmetry-breaking in constraint satisfaction problems (CSPs) is a well-established area of AI research which has recently developed strong interactions with symbolic computation, i...
Tom Kelsey, Steve Linton, Colva M. Roney-Dougal
CP
2007
Springer
13 years 11 months ago
Constraint Symmetry for the Soft CSP
We introduce a definition of constraint symmetry for soft CSPs, based on the definition of constraint symmetry for classical CSPs. We show that the constraint symmetry group of a...
Barbara M. Smith, Stefano Bistarelli, Barry O'Sull...