4067 search results - page 11 / 814 » Programs for Applying Symmetries |
PRDC
2006
IEEE
14 years 1 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
MP
2010
13 years 2 months ago
2010
We consider semidefinite programming relaxations of the quadratic assignment problem, and show how to exploit group symmetry in the problem data. Thus we are able to compute the b...
CSCLP
2004
Springer
14 years 1 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
ECAI
2000
Springer
14 years 6 days ago
2000
Springer
PRL
2002
13 years 7 months ago
2002