[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: Monograph
Number of items: 5.

Monograph

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].

This list was generated on Thu Nov 13 17:38:15 2025 CET.