Raihan H. Kibria, You Li. Optimizing the Initialization of Dynamic Decision Heuristics in DPLL SAT Solvers Using Genetic Programming. In Pierre Collet, Marco Tomassini, Marc Ebner, Steven Gustafson, Anikó Ekárt, editors, Genetic Programming, 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings. Volume 3905 of Lecture Notes in Computer Science, pages 331-340, Springer, 2006. [doi]
Abstract is missing.