abstract = "We present, GP-HH, a framework for evolving local
search 3-SAT heuristics based on GP. Evolved heuristics
are compared against well-known SAT solvers with very
encouraging results.",
notes = "GECCO-2007 A joint meeting of the sixteenth
international conference on genetic algorithms
(ICGA-2007) and the twelfth annual genetic programming
conference (GP-2007).