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