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

Publication
IEEE Transactions on Evolutionary Computation

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