Kazuo Iwama Daisuke Kawai Shuichi Miyazaki Yasuo Okabe Jun Umemoto Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM. 123-134 2000 conf/wae/2000 Algorithm Engineering http://link.springer.de/link/service/series/0558/bibs/1982/19820123.htm db/conf/wae/wae2000.html#IwamaKMOU00