![](/img/cover-not-exists.png)
Parallelizing local search for CNF satisfiability using vectorization and PVM
Iwama, Kazuo, Kawai, Daisuke, Miyazaki, Shuichi, Okabe, Yasuo, Umemoto, JunVolume:
7
Language:
english
Journal:
Journal of Experimental Algorithmics
DOI:
10.1145/944618.944620
Date:
December, 2002
File:
PDF, 145 KB
english, 2002