52 citations · 146 across the 26 of their papers we have counts for
1 paper · 2 filters
Andrei A. Bulatov, Evgeny S. Skvortsov
The Local Search algorithm (or Hill Climbing, or Iterative Improvement) is one of the simplest heuristics to solve the Satisfiability and Max-Satisfiability problems. It is a part…