Applying Genetic Improvement to MiniSAT

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

@InProceedings{Petke:2013:SSBSE,
  author =       "Justyna Petke and William B. Langdon and Mark Harman",
  title =        "Applying Genetic Improvement to {MiniSAT}",
  booktitle =    "Symposium on Search-Based Software Engineering",
  year =         "2013",
  editor =       "Guenther Ruhe and Yuanyuan Zhang",
  volume =       "8084",
  series =       "Lecture Notes in Computer Science",
  pages =        "257--262",
  address =      "Leningrad",
  month =        aug # " 24-26",
  publisher =    "Springer",
  note =         "Short Papers",
  keywords =     "genetic algorithms, genetic programming, SBSE, Genetic
                 Improvement, GISMOE, SAT",
  isbn13 =       "978-3-642-39741-7",
  URL =          "http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/papers/Petke_2013_SSBSE.pdf",
  DOI =          "doi:10.1007/978-3-642-39742-4_21",
  size =         "6 pages",
  abstract =     "Genetic Programming (GP) has long been applied to
                 several SBSE problems. Recently there has been much
                 interest in using GP and its variants to solve
                 demanding problems in which the code evolved by GP is
                 intended for deployment. This paper investigates the
                 application of genetic improvement to a challenging
                 problem of improving a well-studied system: a Boolean
                 satisfiability (SAT) solver called MiniSAT. Many
                 programmers have tried to make this very popular solver
                 even faster and a separate SAT competition track has
                 been created to facilitate this goal. Thus genetically
                 improving MiniSAT poses a great challenge. Moreover,
                 due to a wide range of applications of SAT solving
                 technologies any improvement could have a great impact.
                 Our initial results show that there is some room for
                 improvement. However, a significantly more efficient
                 version of MiniSAT is yet to be discovered.",
  notes =        "

                 http://ssbse.org/2013/accepted-papers/",
}

Genetic Programming entries for Justyna Petke William B Langdon Mark Harman

Citations