438 search results - page 23 / 88 » New Search Heuristics for Max-CSP |
107
Voted
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
We present a two-level Boolean minimization tool (BOOM) based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are ge...
PEPM
2009
ACM
15 years 10 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
151
click to vote
CEC
2009
IEEE
15 years 8 months ago
2009
IEEE
— A hyperheuristic is a high level problem solving methodology that performs a search over the space generated by a set of low level heuristics. One of the hyperheuristic framewo...
114
click to vote
ISVLSI
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we present a new method for quasiexact optimization of BDDs using relaxed ordered best-first search. This general method is applied to BDD minimization. In contrast...
97
Voted
CP
2009
Springer
15 years 8 months ago
2009
Springer
Multi-objective optimization is concerned with problems involving multiple measures of performance which should be optimized simultaneously. In this paper, we extend AND/OR Branch-...