256 search results - page 6 / 52 » Constraint Symmetry and Solution Symmetry |
103
Voted
CP
2008
Springer
15 years 1 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...
102
Voted
SIAMADS
2010
14 years 6 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...
77
Voted
CP
2007
Springer
15 years 5 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...
92
Voted
SAT
2010
Springer
14 years 9 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
15 years 4 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...