New Worst-Case Upper Bounds for SAT*
Local Search Algorithms for SAT
Nonsystematic Search and No-Good Learning