Ost, K.: Algorithmen für das Kantenfärbungsproblem. Diploma, 103 pp., Universität des Saarlandes, Saarbrücken (1995)

Rock, G.: Transformations of First-Order Formulae for Automated Reasoning. Diploma, 135 pp., Universität des Saarlandes, Saarbrücken (1995)

Schmitz, C.: Analyse von Branch-and-Bound Algorithmen zum Problem des Handlungsreisenden. Diploma, 140 pp., Universität des Saarlandes, Saarbrücken (1995)

Wilhelmi, H.: Erzeugung von Pseudozufallszahlen gemäß einer veränderbaren Verteilung. Diploma, 92 pp., Universität des Saarlandes, Saarbrücken (1995)

Ziegler, T.: Max-Weighted-Matching auf allgemeinen Graphen. Diploma, 112 pp., Universität des Saarlandes, Saarbrücken (1995)

Bozkurt, A.: Strategien für Resolutionsbeweiser in Logik höherer Stufe. Master, Universität des Saarlandes, Saarbrücken (1995)

Gaede, B.: Superposition Extended with Sorts. Master, Universität Kaiserslautern, Saarbrücken (1995)

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

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

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 pp.

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

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

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

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

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

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 pp.

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

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

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 pp.