Max Böhm
According to our database1,
Max Böhm
authored at least 5 papers
between 1990 and 1996.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1996
Ann. Math. Artif. Intell., 1996
On the imbalance of distributions of solutions of CNF-formulas and its impact on satisfiability solvers.
Proceedings of the Satisfiability Problem: Theory and Applications, 1996
1992
Ein paralleler SAT-Solver auf Transputern.
Proceedings of the Parallele Datenverarbeitung mit dem Transputer, 1992
1990
Proceedings of the Parallele Datenverarbeitung mit dem Transputer, 1990