Evolving Effective Incremental Solvers for SAT with a Hyper-Heuristic Framework Based on Genetic Programming

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

@InCollection{Bader-El-Den:2008:GPTP,
}

Genetic Programming entries for Mohamed Bahy Bader-El-Den Riccardo Poli

Citations