Algorithms and Computations
This book presents the refereed proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC '95, held in Cairns, Australia, in December 1995. The 45 revised full papers presented together with the abstracts of three invited talks were selected from a total of 130 submissions. The papers address many current aspects of research and advanced applications of algorithms and computations; among the topics covered are graph theory and graph algorithms, computational geometry, computational logics, searching and sorting, approximation and optimization, algebraic manipulation, and coding.
ISBN: | 9783540605737 |
---|---|
Sprache: | Englisch |
Seitenzahl: | 450 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Eades, Peter Katoh, Naoki Moffat, Alistair Staples, John |
Verlag: | Springer Berlin |
Veröffentlicht: | 15.11.1995 |
Untertitel: | 6th International Symposium, ISAAC '95 Cairns, Australia, December 4 - 6, 1995. Proceedings Proceedings. |
Schlagworte: | 3-SAT Algorithmen Algorithmic Mathematics Algorithmische Mathematik Algorithms Combinatories Erfüllbarkeitsproblem der Aussagenlogik Graph-Algorithmen Graph Algorithms Komplexität |