Sciweavers

113 search results - page 15 / 23
» Symmetry Breaking
Sort
View
CORR
2010
Springer
66views Education» more  CORR 2010»
14 years 9 months ago
A Partial Taxonomy of Substitutability and Interchangeability
Substitutability, interchangeability and related concepts in Constraint Programming were introduced approximately twenty years ago and have given rise to considerable subsequent re...
Shant Karakashian, Robert J. Woodward, Berthe Y. C...
JSAT
2008
89views more  JSAT 2008»
14 years 9 months ago
Towards a Classification of Hamiltonian Cycles in the 6-Cube
In this paper, we consider the problem of classifying Hamiltonian cycles in a binary hypercube. Previous work proposed a classification of these cycles using the edge representati...
Yury Chebiryak, Daniel Kroening
JNS
2008
63views more  JNS 2008»
14 years 9 months ago
Numerical Continuation of Hamiltonian Relative Periodic Orbits
The bifurcation theory and numerics of periodic orbits of general dynamical systems is well developed, and in recent years there has been rapid progress in the development of a bi...
Claudia Wulff, Andreas Schebesch
ICDCS
2009
IEEE
15 years 6 months ago
Fault-Tolerant Consensus in Unknown and Anonymous Networks
This paper investigates under which conditions information can be reliably shared and consensus can be solved in unknown and anonymous message-passing networks that suffer from cr...
Carole Delporte-Gallet, Hugues Fauconnier, Andreas...
WDAG
2001
Springer
100views Algorithms» more  WDAG 2001»
15 years 1 months ago
A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings
A new, self-stabilizing algorithm for electing a leader on a unidirectional ring of prime size is presented for the composite atomicity model with a centralized daemon. Its space c...
Faith E. Fich, Colette Johnen