6095 search results - page 330 / 1219 » Learning in Local Search |
173
click to vote
AAAI
1997
15 years 8 months ago
1997
In this paper, tabu search for SAT is investigated from an experimental point of view. To this end, TSAT, a basic tabu search algorithm for SAT, is introduced and compared with Se...
164
click to vote
COR
2008
15 years 6 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...
169
click to vote
SARA
2007
Springer
16 years 24 days 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...
163
click to vote
SPIN
2005
Springer
16 years 5 days 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...
131
click to vote
CORR
2010
Springer
15 years 6 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...