Advertisement

Evolving Effective Incremental Solvers for SAT with a Hyper-Heuristic Framework Based on Genetic Programming

  • Mohamed Bader-El-Den
  • Riccardo Poli
Chapter
Part of the Genetic and Evolutionary Computation book series (GEVO)

Keywords

Local Search Travel Salesman Problem Local Search Heuristic Conjunctive Normal Form Formula Genetic Programming System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag US 2009

Authors and Affiliations

  • Mohamed Bader-El-Den
    • 1
  • Riccardo Poli
    • 1
  1. 1.Department of Computing and Electronic SystemsUniversity of Essex

Personalised recommendations