2393 search results - page 166 / 479 » Bounds-Consistent Local Search |
119
click to vote
COR
2008
15 years 3 months ago
2008
This paper presents a tabu search metaheuristic algorithm for the automatic generation of structural software tests. It is a novel work since tabu search is applied to the automat...
121
click to vote
JAIR
2006
15 years 3 months ago
2006
This paper presents a new framework for anytime heuristic search where the task is to achieve as many goals as possible within the allocated resources. We show the inadequacy of t...
128
click to vote
SARA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In constraint satisfaction, local search is an incomplete method for finding a solution to a problem. Solving a general constraint satisfaction problem (CSP) is known to...
113
click to vote
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The promise of search-driven development is that developers will save time and resources by reusing external code in their local projects. To efficiently integrate this code, user...