| |
| 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 | Shuichi Miyazaki | [1] [2] |
| 3 | Yasuo Okabe | [1] [2] |
| 4 | Jun Umemoto | [1] [2] |