Parallel hybrid method for SAT that couples genetic algorithms and local search

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

@Article{Folino:2001:ieeeTEVC,
}

Genetic Programming entries for Gianluigi Folino Clara Pizzuti Giandomenico Spezzano

Citations