Evolving Effective Incremental Solvers for SAT with a Hyper-Heuristic Framework Based on Genetic Programming
Part of the Genetic and Evolutionary Computation book series (GEVO)
KeywordsLocal 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.
Unable to display preview. Download preview PDF.
© Springer-Verlag US 2009