Bart Selman Henry A. Kautz An Empirical Study of Greedy Local Search for Satisfiability Testing. 46-51 1993 AAAI db/conf/aaai/aaai93.html#SelmanK93