Edward A. Hirsch
-
SAT Local Search Algorithms: Worst-Case Study
Journal of Automated Reasoning
New Worst-Case Upper Bounds for SAT