Parallel hybrid method for SAT that coup
β
Folino, G.; Pizzuti, C.; Spezzano, G.
π
Article
π
2001
π
IEEE
π
English
β 241 KB