A GP-based hyper-heuristic framework for evolving 3-SAT heuristics
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Inc*: an incremental approach for improving local search heuristics
EvoCOP'08 Proceedings of the 8th European conference on Evolutionary computation in combinatorial optimization
Generating SAT local-search heuristics using a GP hyper-heuristic framework
EA'07 Proceedings of the Evolution artificielle, 8th international conference on Artificial evolution
A Field Guide to Genetic Programming
A Field Guide to Genetic Programming
Hi-index | 0.00 |
Hyper-Heuristics are methods to choose and combine heuristics to generate new ones. In this work, we use a grammar-based genetic programming system as a Hyper-Heuristic framework. The framework is used for evolving effective incremental solvers for SAT (Inc*). Tests against well-known local search heuristics on a variety of benchmark problems reveal that the evolved heuristics are superior.