2179 search results - page 8 / 436 » Symmetry within Solutions |
112
click to vote
ENTCS
2007
15 years 11 days ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
108
click to vote
ICCAD
2006
IEEE
15 years 9 months ago
2006
IEEE
In order to handle device matching in analog circuits, some pairs of modules are required to be placed symmetrically. This paper addresses this device-level placement problem for ...
81
Voted
CP
2007
Springer
15 years 6 months ago
2007
Springer
We introduce groupoids – generalisations of groups in which not all pairs of elements may be multiplied, or, equivalently, categories in which all morphisms are invertible – as...
102
Voted
CP
2007
Springer
15 years 6 months ago
2007
Springer
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...
113
click to vote
CPAIOR
2005
Springer
15 years 6 months ago
2005
Springer
The scheduling of social golfers has attracted significant attention in recent years because of its highly symmetrical and combinatorial nature. In particular, it has become one o...