@article{DBLP:journals/tec/FolinoPS01,
author = {Gianluigi Folino and
Clara Pizzuti and
Giandomenico Spezzano},
title = {Parallel hybrid method for SAT that couples genetic algorithms
and local search},
journal = {IEEE Trans. Evolutionary Computation},
volume = {5},
number = {4},
year = {2001},
pages = {323-334},
ee = {http://dx.doi.org/10.1109/4235.942527},
bibsource = {DBLP, http://dblp.uni-trier.de}
}