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

Gianluigi Folino, Clara Pizzuti, Giandomenico Spezzano. Parallel hybrid method for SAT that couples genetic algorithms and local search. IEEE Trans. Evolutionary Computation, 5(4):323-334, 2001.

Abstract

Abstract is missing.