Evolving effective incremental SAT solvers with GP

Mohamed Bader, R. Poli

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

70 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationGenetic programming theory and practice VI
EditorsR. Riolo, T. Soule, B. Worzel
Place of PublicationLondon
Number of pages17
ISBN (Print)9780387876221
Publication statusPublished - 2008

Publication series

NameGenetic and evolutionary computation


  • genetic programming


Dive into the research topics of 'Evolving effective incremental SAT solvers with GP'. Together they form a unique fingerprint.

Cite this