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

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

@InProceedings{eurogp06:KibriaLi,
}

Genetic Programming entries for Raihan H Kibria Li You

Citations