61 search results - page 13 / 13 » A Clause-Based Heuristic for SAT Solvers |
CP
2006
Springer
13 years 9 months ago
2006
Springer
In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability problems. However...