Vorobyov, S.: On the decision complexity of the bounded theories of trees. Max-Planck-Institut für Informatik, Saarbrücken (1996), 26 S.

Second Progress Report: 1993 - 1995 (Progress Report / Max-Planck-Institut für Informatik, 2). Max-Planck-Institut für Informatik, Saarbrücken (1995), 172 S.

Andersson, A.; Nilsson, S.; Hagerup, T.; Raman, R.: Sorting in linear time?. Max-Planck-Institut für Informatik, Saarbrücken (1995), 32 S.

Arikati, S. R.; Maheshwari, A.; Zaroliagis, C.: Efficient computation of implicit representations of sparse graphs (revised version). Max-Planck-Institut für Informatik, Saarbrücken (1995), 16 S.

Baader, F.; Ohlbach, H. J.: A multi-dimensional terminological knowledge representation language. Max-Planck-Institut für Informatik, Saarbrücken (1995), 32 S.

Bachmair, L.; Ganzinger, H.: Ordered chaining calculi for first-order theories of binary relations. Max-Planck-Institut für Informatik, Saarbrücken (1995), 42 S.

Barth, P.: A Davis-Putnam based enumeration algorithm for linear pseudo-Boolean optimization. Max-Planck-Institut für Informatik, Saarbrücken (1995), 13 S.

Barth, P.; Bockmayr, A.: Modelling mixed-integer optimisation problems in constraint logic programming. Max-Planck-Institut für Informatik, Saarbrücken (1995), 22 S.

Basin, D.; Ganzinger, H.: Automated complexity analysis based on ordered resolution. Max-Planck-Institut für Informatik, Saarbrücken (1995), 33 S.

Bodlaender, H. L.; Hagerup, T.: Parallel Algorithms with Optimal Speedup for Bounded Treewidth. Max-Planck-Institut für Informatik, Saarbrücken (1995)

Bradford, P. G.: Matching nuts and bolts optimally. Max-Planck-Institut für Informatik, Saarbrücken (1995), 24 S.

Bradford, P. G.; Capoyleas, V.: Weak epsilon-nets for points on a hypersphere. Max-Planck-Institut für Informatik, Saarbrücken (1995), 8 S.

Bradford, P. G.; Fleischer, R.: Matching nuts and bolts faster. Max-Planck-Institut für Informatik, Saarbrücken (1995), 7 S.

Bradford, P. G.; Fleischer, R.; Smid, M.: A polylog-time and $O(n\sqrt\lg n)$-work parallel algorithm for finding the row minima in totally monotone matrices. Max-Planck-Institut für Informatik, Saarbrücken (1995), 12 S.

Chaudhuri, S.; Zaroliagis, C.: Shortest paths in digraphs of small treewidth part II: optimal parallel algirithms. Max-Planck-Institut für Informatik, Saarbrücken (1995), 20 S.

Chaudhuri, S.; Zaroliagis, C.: Shortest paths in digraphs of small treewidth. Part I: Sequential algorithms. Max-Planck-Institut für Informatik, Saarbrücken (1995), 17 S.

Diehl, M.; De Simone, C.; Jünger, M.; Mutzel, P.; Reinelt, G.; Rinaldi, G.: Exact ground states of Ising spin classes: new experimental results with a branch and cut algorithm. Max-Planck-Institut für Informatik, Saarbrücken (1995), 17 S.

Dubhashi, D. P.; Pantziou, G. E.; Spirakis, P. G.; Zaroliagis, C.: The fourth moment in Luby`s distribution. Max-Planck-Institut für Informatik, Saarbrücken (1995), 10 S.

Hoepmann, J.-H.; Papatriantafilou, M.; Tsigas, P.: Towards self-stabilizing wait-free shared memory objects. Max-Planck-Institut für Informatik, Saarbrücken (1995), 15 S.

Jünger, M.; Mutzel, P.: Exact and heuristic algorithms for 2-layer straightline crossing minimization. Max-Planck-Institut für Informatik, Saarbrücken (1995), 12 S.