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

Raihan H. Kibria, You Li

Browse the full EUROGP paper archive.