Parallelizing local search for CNF satisfiability using vectorization and PVM.
| Autor: | Iwama, Kazuo, Kawai, Daisuke, Miyazaki, Shuichi, Okabe, Yasuo, Umemoto, Jun |
|---|---|
| Zdroj: | Journal of Experimental Algorithmics (JEA); Dec2002, Vol. 7, p2-N-PAG, 1p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|