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.
No references recorded for this publication.
No citations of this publication recorded.