Parallelizing Local Search for CNF Satisfiability Using Vectorization and PVM. - Kazuo Iwama; Daisuke Kawai; Shuichi Miyazaki; Yasuo Okabe; Jun Umemoto (ACM J. Exp. Algorithmics, 2002)

Stronger linear programming relaxations of max-cut. - David Avis; Jun Umemoto (Math. Program., 2003)