Evolving Local Search Heuristics for SAT Using Genetic Programming
Created by W.Langdon from
gp-bibliography.bib Revision:1.7964
- @InProceedings{fukunaga:els:gecco2004,
-
author = "Alex S. Fukunaga",
-
title = "Evolving Local Search Heuristics for {SAT} Using
Genetic Programming",
-
booktitle = "Genetic and Evolutionary Computation -- GECCO-2004,
Part II",
-
year = "2004",
-
editor = "Kalyanmoy Deb and Riccardo Poli and
Wolfgang Banzhaf and Hans-Georg Beyer and Edmund Burke and
Paul Darwen and Dipankar Dasgupta and Dario Floreano and
James Foster and Mark Harman and Owen Holland and
Pier Luca Lanzi and Lee Spector and Andrea Tettamanzi and
Dirk Thierens and Andy Tyrrell",
-
series = "Lecture Notes in Computer Science",
-
pages = "483--494",
-
address = "Seattle, WA, USA",
-
publisher_address = "Heidelberg",
-
month = "26-30 " # jun,
-
organisation = "ISGEC",
-
publisher = "Springer-Verlag",
-
volume = "3103",
-
keywords = "genetic algorithms, genetic programming",
-
ISBN = "3-540-22343-6",
-
ISSN = "0302-9743",
-
URL = "http://alexf04.maclisp.org/gecco2004.pdf",
-
DOI = "doi:10.1007/978-3-540-24855-2_59",
-
DOI = "doi:10.1007/b98645",
-
size = "12 pages",
-
abstract = "Satisability 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-automatically designing SAT local search
heuristics. An empirical comparison shows that that the
heuristics generated by our GP system outperform the
state of the art human-designed local search
algorithms, as well as previously proposed evolutionary
approaches, with respect to both runtime as well as
search efficiency (number of variable flips to solve a
problem).",
-
notes = "GECCO-2004 A joint meeting of the thirteenth
international conference on genetic algorithms
(ICGA-2004) and the ninth annual genetic programming
conference (GP-2004)",
- }
Genetic Programming entries for
Alex S Fukunaga
Citations