256 search results - page 19 / 52 » Constraint Symmetry and Solution Symmetry |
AISC
2004
Springer
14 years 1 months ago
2004
Springer
Symmetry-breaking in constraint satisfaction problems (CSPs) is a well-established area of AI research which has recently developed strong interactions with symbolic computation, i...
CADE
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
DAC
1995
ACM
13 years 11 months ago
1995
ACM
This paper presents a direct performance-driven placement algorithm for analog integrated circuits. The performance speci cations directly drive the layout tools without intermedi...
CPAIOR
2005
Springer
14 years 1 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...
ISMVL
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper introduces the implementation of the Iterative Symmetry Indices Decomposition (ISID) for the synthesis of ternary threedimensional logic circuits. The synthesis of regu...