Optimizing the Initialization of Dynamic Decision Heuristics in DPLL SAT Solvers Using Genetic Programming

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

@InProceedings{eurogp06:KibriaLi,
}

Genetic Programming entries for Raihan H Kibria Li You

Citations