136 search results - page 28 / 28 » Using Rewarding Mechanisms for Improving Branching Heuristic... |
CP
2006
Springer
13 years 11 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...