1. Toward an understanding of hill-climbing procedures for SAT;Gent,1993
2. Unsatisfied variables in local search;Gent,1995
3. Weighting for godot: Learning heuristics for GSAT;Frank,1996
4. Using genetic algorithms to solve NP-complete problems;de Jong,1989
5. A superior evolutionary algorithm for 3-SAT;Bäck,1998