2002 | ||
---|---|---|
2 | EE | Kazuo Iwama, Daisuke Kawai, Shuichi Miyazaki, Yasuo Okabe, Jun Umemoto: Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM. ACM Journal of Experimental Algorithmics 7: 2 (2002) |
2000 | ||
1 | EE | Kazuo Iwama, Daisuke Kawai, Shuichi Miyazaki, Yasuo Okabe, Jun Umemoto: Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM. Algorithm Engineering 2000: 123-134 |
1 | Kazuo Iwama | [1] [2] |
2 | Daisuke Kawai | [1] [2] |
3 | Shuichi Miyazaki | [1] [2] |
4 | Yasuo Okabe | [1] [2] |