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

1999

Böhm, Max (1999). Parallel ABACUS - Implementation. Technical Report.

Böhm, Max (1999). Parallel ABACUS - Introduction and Tutorial. Working Paper.

1997

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

1996

Böhm, Max and Speckenmeyer, Ewald (1996). A Fast Parallel SAT-Solver - Efficient Workload Balancing. Baltzer. ['eprint_fieldopt_monograph_type_preprint' not defined].

This list was generated on Sat Nov 8 17:49:49 2025 CET.