 | Up a level |
Preprints, Working Papers or Reports
Böhm, Max
(1999).
Parallel ABACUS - Implementation.
Technical Report.
Böhm, Max
(1999).
Parallel ABACUS - Introduction and Tutorial.
Working Paper.
Böhm, Max and Speckenmeyer, Ewald
(1996).
A Fast Parallel SAT-Solver - Efficient Workload Balancing.
Baltzer.
["eprint_fieldopt_monograph_type_preprint" not defined].
Böhm, Max and Speckenmeyer, Ewald
(1997).
Precomputation-based Load Balancing.
World Scientific.
["eprint_fieldopt_monograph_type_preprint" not defined].
Speckenmeyer, Ewald, Böhm, Max and Heusch, Peter
(1997).
On the Imbalance of Distributions of Solutions of CNF-Formulas and its Impact on Satisfiability Solvers.
Providence, RI:
American Math. Soc..
["eprint_fieldopt_monograph_type_preprint" not defined].