2108 search results - page 52 / 422 » Constrained Heuristic Search |
94
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
A key factor that can dramatically reduce the search space during constraint solving is the criterion under which the variable to be instantiated next is selected. For this purpos...
109
click to vote
SAT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
106
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
The AI optimization algorithm called "Squeaky-Wheel Optimization" (SWO) has proven very effective in a variety of real-world applications. Although the ideas behind SWO ...
128
click to vote
DSD
2005
IEEE
15 years 7 months ago
2005
IEEE
1 This paper presents a method for power-constrained system-on-chip test scheduling in an abort-on-first-fail environment where the test is terminated as soon as a fault is detecte...
134
click to vote
ASPDAC
2010
ACM
14 years 11 months ago
2010
ACM
Abstract-- We present a global scheduling framework for synchronous data flow (SDF) streaming applications on MPSoCs, based on optimized computation and contention-free routing. Th...