M
Max Böhm
Researcher at University of Cologne
Publications - 1
Citations - 136
Max Böhm is an academic researcher from University of Cologne. The author has contributed to research in topics: Heuristic (computer science) & MIMD. The author has an hindex of 1, co-authored 1 publications receiving 133 citations.
Papers
More filters
Journal ArticleDOI
A fast parallel SAT-solver — efficient workload balancing
Max Böhm,Ewald Speckenmeyer +1 more
TL;DR: A fast parallel SAT-solver on a message based MIMD machine using optimized data structures to modify Boolean formulas and efficient workload balancing algorithms are used, to achieve a uniform distribution of workload among the processors.