| |
| 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 | |
| 1 | Ewald Speckenmeyer | [1] [2] [3] |