Althaus, E.; Mehlhorn, K.: Maximum network flow with floating point arithmetic. Max-Planck-Institut für Informatik, Saarbrücken (1997), 5 S.

Bachmair, L.; Ganzinger, H.: Strict basic superposition and chaining. Max-Planck-Institut für Informatik, Saarbrücken (1997), 22 S.

Bachmair, L.; Ganzinger, H.: A theory of resolution. Max-Planck-Institut für Informatik, Saarbrücken (1997), 79 S.

Bachmair, L.; Ganzinger, H.; Voronkov, A.: Elimination of equality via transformation with ordering constraints. Max-Planck-Institut für Informatik, Saarbrücken (1997), 18 S.

Basin, D. A.; Matthews, S.; Viganò, L.: Labelled modal logics: quantifiers. Max-Planck-Institut für Informatik, Saarbrücken (1997), 31 S.

Blackburn, P.; Tzakova, M.: Two hybrid logics. Max-Planck-Institut für Informatik, Saarbrücken (1997), 33 S.

Bockmayr, A.; Eisenbrand, F.: On the Chvátal rank of polytopes in the 0/1 cube. Max-Planck-Institut für Informatik, Saarbrücken (1997), 12 S.

Bockmayr, A.; Kasper, T.: A unifying framework for integer and finite domain constraint programming. Max-Planck-Institut für Informatik, Saarbrücken (1997), 24 S.

Brandenburg, F. J.; Jünger, M.; Mutzel, P.: Algorithmen zum automatischen Zeichnen von Graphen. Max-Planck-Institut für Informatik, Saarbrücken (1997), 9 S.

Brodal, G. S.: Finger search trees with constant insertion time. Max-Planck-Institut für Informatik, Saarbrücken (1997), 17 S.

Brodal, G. S.; Träff, J. L.; Zaroliagis, C.: A parallel priority queue with constant time operations. Max-Planck-Institut für Informatik, Saarbrücken (1997), 19 S.

Charatonik, W.; Podelski, A.: Solving set constraints for greatest models. Max-Planck-Institut für Informatik, Saarbrücken (1997), 12 S.

Cunningham, W. H.; Wang, Y.: Restricted 2-factor polytopes. Max-Planck-Institut für Informatik, Saarbrücken (1997), 30 S.

Fiat, A.; Leonardi, S.: On-line network routing - a survey. Max-Planck-Institut für Informatik, Saarbrücken (1997), 19 S.

Fleischer, R.: On the Bahncard problem. Max-Planck-Institut für Informatik, Saarbrücken (1997), 16 S.

Garg, N.: Approximating sparsest cuts. Max-Planck-Institut für Informatik, Saarbrücken (1997), 9 S.

Garg, N.; Albers, S.; Leonardi, S.: Minimizing stall time in single and parallel disk systems. Max-Planck-Institut für Informatik, Saarbrücken (1997), 16 S.

Garg, N.; Könemann, J.: Faster and simpler algorithms for multicommodity flow and other fractional packing problems. Max-Planck-Institut für Informatik, Saarbrücken (1997), 13 S.

Garg, N.; Konjevod, G.; Ravi, R.: A polylogarithmic approximation algorithm for group Steiner tree problem. Max-Planck-Institut für Informatik, Saarbrücken (1997), 7 S.

Garg, N.; Manss, C.: Evaluating a 2-approximation algorithm for edge-separators in planar graphs. Max-Planck-Institut für Informatik, Saarbrücken (1997), 9 S.