Analysis and Extension of the Inc* on the Satisfiability Testing Problem

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

@InProceedings{Bader-El-Den:2008:WCCI,

• author = "Mohamed Bader-El-Den and Riccardo Poli",
• title = "Analysis and Extension of the Inc* on the Satisfiability Testing Problem",
• booktitle = "2008 IEEE World Congress on Computational Intelligence",
• year = "2008",
• editor = "Jun Wang",
• pages = "3342--3349",
• address = "Hong Kong",
• month = "1-6 " # jun,
• organization = "IEEE Computational Intelligence Society",
• publisher = "IEEE",
• keywords = "genetic algorithms, genetic programming, SAT",
• isbn13 = "978-1-4244-1823-7",
• file = "EC0725.pdf",
• DOI = "doi:10.1109/CEC.2008.4631250",
• abstract = "Inc (star) is a general algorithm that can be used in conjunction with any local search heuristic and that has the potential to substantially improve the overall performance of the heuristic. The general idea of the algorithm is the following. Rather than attempting to directly solve a difficult problem, the algorithm dynamically chooses a smaller instance of the problem, and then increases the size of the instance only after the previous simplified instances have been solved, until the full size of the problem is reached. Genetic programming is used to discover new strategies for Inc^*. Preliminary experiments on the satisfiability problem (SAT) problem have shown that Inc^* is a competitive approach. In this paper we enhance Inc^* and we experimentally test it on larger set of benchmarks, including big instances of SAT. Furthermore, we provide an analysis of the algorithm's behaviour.",
• notes = "WCCI 2008 - A joint meeting of the IEEE, the INNS, the EPS and the IET.",

}

Genetic Programming entries for Mohamed Bahy Bader-El-Den Riccardo Poli

Citations