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

Raihan H. Kibria You Li Optimizing the Initialization of Dynamic Decision Heuristics in DPLL SAT Solvers Using Genetic Programming. 331-340 2006 conf/eurogp/2006 EuroGP http://dx.doi.org/10.1007/11729976_30 db/conf/eurogp/eurogp2006.html#KibriaL06