Kazuo Iwama Daisuke Kawai Shuichi Miyazaki Yasuo Okabe Jun Umemoto Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM. 2 2002 7 ACM Journal of Experimental Algorithmics http://www.jea.acm.org/2002/IwamaSatisfiability db/journals/jea/jea7.html#IwamaKMOU02