About these proceedings
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.
3-SAT Algorithmen Algorithmic Mathematics Algorithmische Mathematik Algorithms Combinatories Erfüllbarkeitsproblem der Aussagenlogik Graph Algorithms Graph-Algorithmen Komplexität Partition coding complexity geometry optimization