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\'arteditors,
Proceedings of the 9th European Conference on Genetic Programming, volume 3905, pages 331-340, Budapest, Hungary, 2006. Springer.
details
