@inbook{ee708135c468434b85bde6f6769d98ab,
title = "Evolving effective incremental SAT solvers with GP",
abstract = "Hyper-Heuristics could simply be defined as heuristics to choose other heuristics, and it is a way of combining existing heuristics to generate new ones. In a Hyper-Heuristic framework, the framework is used for evolving effective incremental (Inc*) solvers for SAT. We test the evolved heuristics (IncHH) against other known local search heuristics on a variety of benchmark SAT problems.",
keywords = "genetic programming",
author = "Mohamed Bader and R. Poli",
note = "Funders: EPSRC grant EP/C523377/1. Projects: Computational Intelligence.",
year = "2008",
language = "English",
isbn = "9780387876221",
series = "Genetic and evolutionary computation",
publisher = "Springer",
pages = "163--179",
editor = "R. Riolo and T. Soule and B. Worzel",
booktitle = "Genetic programming theory and practice VI",
}