4 search results - page 1 / 1 » Variable Dependency in Local Search: Prevention Is Better Th... |
SAT
2007
Springer
13 years 12 months ago
2007
Springer
SAT
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. The adaptive noise mechanism was introduced in Novelty+ to automatically adapt noise settings during the search [4]. The local search algorithm G2 WSAT deterministically ...
IJCAI
2001
13 years 7 months ago
2001
Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...
AIPS
2008
13 years 8 months ago
2008
Many current heuristics for domain-independent planning, such as Bonet and Geffner's additive heuristic and Hoffmann and Nebel's FF heuristic, are based on delete relaxa...