Evolving Local Search Heuristics for SAT Using Genetic Programming

Created by W.Langdon from gp-bibliography.bib Revision:1.7630

@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