Genetic Programming Bibliography entries for Raihan H Kibria

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

GP coauthors/coeditors: Li You,

Genetic Programming PhD doctoral thesis Raihan H Kibria

• Raihan Hassnain Kibria. Soft Computing Approaches to DPLL SAT Solver Optimization. PhD thesis, TU Darmstadt / Fachgebiet Rechnersysteme, Germany, 2011. details

Genetic Programming conference papers by Raihan H Kibria

• Raihan H. Kibria and You Li. Optimizing the Initialization of Dynamic Decision Heuristics in DPLL SAT Solvers Using Genetic Programming. In Pierre Collet and Marco Tomassini and Marc Ebner and Steven Gustafson and Anik\'o Ek\'art editors, Proceedings of the 9th European Conference on Genetic Programming, volume 3905, pages 331-340, Budapest, Hungary, 2006. Springer. details