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

G. Folino, C. Pizzuti, G. Spezzano
January, 2001
Cite DOI URL
Type
Journal article
Publication
IEEE Transactions on Evolutionary Computation

Add the full text or supplementary notes for the publication here using Markdown formatting.