Publikationen
|
 |
|
Bitte wählen Sie ein Jahr aus
|
|
| 2007 | 2006 | 2005 | 2004 | 2003 |
|
| 2002 | 2001 | 2000 | 1999 | 1998 |
|
| 1997 | 1996 | 1995 | 1994 | 1993 |
|
| 1992 | 1991 | 1990 | 1989 | 1988 |
|
| 1987 | 1986 | 1985 | 1984 | 1983 |
|
| 1982 | 1980 | 1979 | | |
|
|
|
| Liste aller Publikationen |
|
|
|
| Publikationen des Jahres 1996 |
|
| Speckenmeyer, E., Böhm, M., Heusch, P. |
|
|
On the Imbalance of Distributions of Solutions of CNF-Formulas and its Impact on Satisfiability Solvers
|
|
|
Satisfiability Problem: Theory and Application,
DIMACS Series in discrete mathematics and theoretical computer science, Vol. 35, 669-676, 1996,
Editors: Du, D., Gu, J., Pardalos, P. M. (1996)
|
|
|
|
|
|
Seifert, Th., Speckenmeyer, E.
|
|
|
Optimal Oblivious Permutation Routing in Small Hypercubes
|
|
|
Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware,
Proc. 4. PASA Workshop 1996, Jülich, 53-66;
also available as: Tech. Report 96.218, 1996, Universität zu Köln (1996)
|
|
|
|
|
| Meisgen, F., Speckenmeyer, E. |
|
|
Precomputation-based Load Balancing zur Parallelisierung von Best-First Search Algorithmen
|
|
|
Paralleles und Verteiltes Rechnen.
Beiträge zum 4. Workshop über Wissenschaftliches Rechnen, Shaker Verlag, 39-48, 1996,
Editors: Matthies, H., Schüle, J. (1996)
|
|
|
|
|
|
Franco, J., Gallo, G., Kleine Büning, H., Speckenmeyer, E., Spera, C.
|
|
| Workshop on the Satisfiability Problem |
|
|
Tech. Report 96.230, Universität zu Köln (1996)
|
|
|
|
|
| Böhm, M. |
|
| Verteilte Lösung harter Probleme: Schneller Lastausgleich |
|
|
1996, Universität zu Köln, Shaker Verlag, Aachen, Doktorarbeit (1996)
|
|
|
|
|
| Böhm, M., Speckenmeyer, E. |
|
| Precomputation-Based Load Balancing |
|
|
Tech. Report 96.219, 1996, Universität zu Köln,
to appear in Proceedings of the 4th PASA Workshop (1996)
|
|
|
|
|
| Böhm, M., Speckenmeyer, E. |
|
| A Fast Parallel SAT-Solver -- Efficient Workload Balancing |
|
|
Annals of Mathematics and Artificial Intelligence,
Vol. 17, 381-400 (1996)
|
|
|
|
| |
