Max Böhm

Publication Activity (10 Years)

Years Active: 1990-1996
Publications (10 Years): 0

University of Cologne, Germany (PHD)

Education History

University of Cologne, Germany

PHD

Publications

Ewald Speckenmeyer, Max Böhm, Peter Heusch
On the imbalance of distributions of solutions of CNF-formulas and its impact on satisfiability solvers. Satisfiability Problem: Theory and Applications (1996)
Max Böhm, Ewald Speckenmeyer
A Fast Parallel SAT-Solver - Efficient Workload Balancing. Ann. Math. Artif. Intell. 17 (3-4) (1996)
Max Böhm, Ewald Speckenmeyer
Ein paralleler SAT-Solver auf Transputern. Transputer-Anwender-Treffen (1992)
Max Böhm, Ewald Speckenmeyer
Parallele dynamische Spielbaumauswertung auf Transputern. Transputer-Anwender-Treffen (1990)