@inproceedings{a0931ffc88d84e84ba4bc646ce02301b,
title = "A GP-based hyper-heuristic framework for evolving 3-SAT heuristics",
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.",
keywords = "Genetic programming, Heuristics, Hyper-heuristic, SAT",
author = "Mohamed Bader-El-Den and Ricccardo Poli",
year = "2007",
month = jul,
day = "7",
doi = "10.1145/1276958.1277299",
language = "English",
isbn = "1595936971",
series = "Proceedings of GECCO 2007: Genetic and Evolutionary Computation Conference",
publisher = "Association for Computing Machinery",
pages = "1749",
booktitle = "GECCO 2007: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation",
address = "United States",
note = "9th Annual Genetic and Evolutionary Computation Conference, GECCO 2007 ; Conference date: 07-07-2007 Through 11-07-2007",
}