Parallele dynamische Spielbaumauswertung auf Transputern. - Max Böhm; Ewald Speckenmeyer (Transputer-Anwender-Treffen, 1990)

Ein paralleler SAT-Solver auf Transputern. - Max Böhm; Ewald Speckenmeyer (Transputer-Anwender-Treffen, 1992)

On the imbalance of distributions of solutions of CNF-formulas and its impact on satisfiability solvers. - Ewald Speckenmeyer; Max Böhm; Peter Heusch (Satisfiability Problem: Theory and Applications, 1996)

A Fast Parallel SAT-Solver - Efficient Workload Balancing. - Max Böhm; Ewald Speckenmeyer (Ann. Math. Artif. Intell., 1996)

Verteilte Lösung harter Probleme: schneller Lastausgleich. - Max Böhm (Shaker, 1996)