Authors: Folino, G Pizzuti, C Spezzano, G

Citation: G. Folino et al., Parallel hybrid method for SAT that couples genetic algorithms and local search, IEEE T EV C, 5(4), 2001, pp. 323-334