729 search results - page 49 / 146 » Solving subgraph isomorphism problems with constraint progra... |
116
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Programs to solve so-called constraint problems are complex pieces of software which require many design decisions to be made more or less arbitrarily by the implementer. These dec...
129
Voted
CPAIOR
2009
Springer
15 years 10 months ago
2009
Springer
Many real-world problems require the enumeration of all solutions of combinatorial search problems, even though this is often infeasible in practice. However, not always all parts ...
120
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Vectorless power grid verification makes it possible to evaluate worst-case voltage drops without enumerating possible current waveforms. Under linear current constraints, the vec...
135
Voted
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
119
Voted
PPSN
1998
Springer
15 years 7 months ago
1998
Springer
Many optimization problems require the satisfaction of constraints in addition to their objectives. When using an evolutionary algorithm to solve such problems, these constraints c...