dblp.uni-trier.dewww.uni-trier.de

Max Böhm Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1996
3 Max Böhm, Ewald Speckenmeyer: A Fast Parallel SAT-Solver - Efficient Workload Balancing. Ann. Math. Artif. Intell. 17(3-4): 381-400 (1996)
1992
2 Max Böhm, Ewald Speckenmeyer: Ein paralleler SAT-Solver auf Transputern. Transputer-Anwender-Treffen 1992: 235-244
1990
1 Max Böhm, Ewald Speckenmeyer: Parallele dynamische Spielbaumauswertung auf Transputern. Transputer-Anwender-Treffen 1990: 80-87

Coauthor Index

1Ewald Speckenmeyer [1] [2] [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)