Sciweavers

91 search results - page 6 / 19
» Symmetry Breaking Ordering Constraints
Sort
View
AMAI
2004
Springer
14 years 1 months ago
Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes
In this paper the use of graph isomorphism is investigated within the framework of symmetry breaking in constraint satisfaction problems. A running example of Comma-free codes is ...
Justin Pearson
ECAI
2008
Springer
13 years 9 months ago
Solving Necklace Constraint Problems
Abstract. Some constraint problems have a combinatorial structure where the constraints allow the sequence of variables to be rotated (necklaces), if not also the domain values to ...
Pierre Flener, Justin Pearson
CP
2007
Springer
14 years 2 months ago
Breaking Value Symmetry
Symmetry is an important factor in solving many constraint satisfaction problems. One common type of symmetry is when we have symmetric values. We can eliminate such value symmetr...
Toby Walsh
AI
2006
Springer
13 years 8 months ago
Propagation algorithms for lexicographic ordering constraints
Finite-domain constraint programming has been used with great success to tackle a wide variety of combinatorial problems in industry and academia. To apply finite-domain constrain...
Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian...
CP
2003
Springer
14 years 1 months ago
Constraints for Breaking More Row and Column Symmetries
Alan M. Frisch, Christopher Jefferson, Ian Miguel