16 search results - page 4 / 4 » MFSAT: A SAT Solver Using Multi-Flip Local Search |
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...