BibTeX record conf/eurogp/KibriaL06

• > Home > conf/eurogp/KibriaL06

@inproceedings{DBLP:conf/eurogp/KibriaL06,
  author       = {Raihan H. Kibria and
                  You Li},
  editor       = {Pierre Collet and
                  Marco Tomassini and
                  Marc Ebner and
                  Steven M. Gustafson and
                  Anik{\'{o}} Ek{\'{a}}rt},
  title        = {Optimizing the Initialization of Dynamic Decision Heuristics in {DPLL}
                  {SAT} Solvers Using Genetic Programming},
  booktitle    = {Genetic Programming, 9th European Conference, EuroGP 2006, Budapest,
                  Hungary, April 10-12, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3905},
  pages        = {331--340},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11729976\_30},
  doi          = {10.1007/11729976\_30},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/eurogp/KibriaL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}