882 search results - page 5 / 177 » Local Search for Very Large SAT Problems |
TIME
2002
IEEE
14 years 8 days ago
2002
IEEE
Local search techniques have attracted considerable interest in the Artificial Intelligence (AI) community since the development of GSAT [9] and the min-conflicts heuristic [5] ...
INFORMS
2007
13 years 7 months ago
2007
JAR
2000
13 years 7 months ago
2000
In this paper, we show how Guided Local Search (GLS) can be applied to the SAT problem and show how the resulting algorithm can be naturally extended to solve the weighted MAX-SAT ...
AUSAI
2003
Springer
14 years 18 days ago
2003
Springer
SAT
2004
Springer
14 years 22 days ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...