2 search results - page 1 / 1 » Generating SAT Local-Search Heuristics Using a GP Hyper-Heur... |
AE
2007
Springer
14 years 1 months ago
2007
Springer
We present GP-HH, a framework for evolving local-search 3-SAT heuristics based on GP. The aim is to obtain “disposable” heuristics which are evolved and used for a specific su...
GECCO
2004
Springer
14 years 26 days ago
2004
Springer
Satisfiability testing (SAT) is a very active area of research today, with numerous real-world applications. We describe CLASS2.0, a genetic programming system for semi-automatica...