Evolving effective incremental SAT solvers with GP

Mohamed Bader, R. Poli

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

103 Downloads (Pure)

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

Publication series

NameGenetic and evolutionary computation
PublisherSpringer

Keywords

  • genetic programming

Fingerprint

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

Cite this