Download PlaNet Tutorial and Reference Manual
Transcript
PlaNet Tutorial and Reference Manual Ò Dagmar Handke Ó Gabriele Neyer Ô Lehrstuhl für praktische Informatik I (Algorithmen und Datenstrukturen) 18/1996 Universität Konstanz Fakultät für Mathematik und Informatik ÕÖ × Part of this research was supported by the Deutsche Forschungsgemeinschaft under grant Wa 654/10-1. Universität Konstanz, Fakultät für Mathematik und Informatik, Postfach 5560/D188, 78434 Konstanz, Germany. e–mail: [email protected], Internet: http://www.informatik.uni-konstanz.de/˜handke/ ETH Zürich, Fakultät für Theoretische Informatik, CH-8092 Zurich, Switzerland. e–mail: [email protected].