Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind

Peter Schuster. Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind. In Ernst Specker, Volker Strassen, editors, Komplexität von Entscheidungsproblemen, Ein Seminar. Volume 43 of Lecture Notes in Computer Science, pages 36-48, Springer, 1976.

Abstract

Abstract is missing.