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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.