673 search results - page 38 / 135 » Preference-Based Problem Solving for Constraint Programming |
117
Voted
CPAIOR
2009
Springer
15 years 8 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 ...
107
Voted
DAC
2010
ACM
15 years 3 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...
123
click to vote
TAPSOFT
1997
Springer
15 years 6 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...
108
Voted
PPSN
1998
Springer
15 years 6 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...
98
Voted
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...