- author = "Mohamed Bader-El-Den and Riccardo Poli",
- title = "Evolving Effective Incremental Solvers for {SAT} with a Hyper-Heuristic Framework Based on Genetic Programming",
- booktitle = "Genetic Programming Theory and Practice {VI}",
- year = "2008",
- editor = "Rick L. Riolo and Terence Soule and Bill Worzel",
- series = "Genetic and Evolutionary Computation",
- chapter = "11",
- pages = "163--179",
- address = "Ann Arbor",
- month = "15-17 " # may,
- publisher = "Springer",
- keywords = "genetic algorithms, genetic programming, hyper-heuristic, HH, Inc, SAT, heuristics",
- isbn13 = "978-0-387-87622-1",
-
URL = "
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.206.3331.pdf",
-
DOI = "
doi:10.1007/978-0-387-87623-8_11",
- size = "16 pages",
- abstract = "Hyper-heuristics could simply be defined as heuristics to choose other heuristics. In other words, they are methods for combining existing heuristics to generate new ones. we use a grammar-based genetic programming hyper-heuristic framework. The framework is used for evolving effective incremental solvers for SAT. The evolved heuristics perform very well against well-known local search heuristics on a variety of benchmark SAT problems.",
-
notes = "part of \cite{Riolo:2008:GPTP} published in 2009.
Also known as \cite{El-den:2008:GPTP} \cite{Bader-el-den_evolvingeffective}
Department of Computing and Electronic Systems, University of Essex",
