256 search results - page 6 / 52 » Constraint Symmetry and Solution Symmetry |
CP
2008
Springer
13 years 9 months ago
2008
Springer
ctural abstractions that were introduced in [17]. Compared with other symmetry-breaking techniques, the big advantage of dynamic symmetry breaking is that it can accommodate dynami...
SIAMADS
2010
13 years 2 months ago
2010
We study the symmetries of periodic solutions from Hopf bifurcation in systems with finite abelian symmetries. Our main result, the Abelian Hopf H mod K Theorem, gives necessary a...
CP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. A common type of symmetry is when both variables and values partition into interchangeable sets. Polynomial methods have been introduced to eliminate all symmetric soluti...
SAT
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
CP
2003
Springer
14 years 1 months ago
2003
Springer
Symmetry in a Constraint Satisfaction Problem can cause wasted search, which can be avoided by adding constraints to the CSP to exclude symmetric assignments or by modifying the s...