Next:
Autor:
Up:
Kontrolleurmodule
Previous:
Darstellung des Beweises
Contents
SAT : Erfüllbarkeit für 3-KNF
Subsections
Autor:
Problembeschreibung
Datentypen
Beispiel
benötigte Module
Instanz der Klasse Problem
Implementierungsdetail
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
Johannes Waldmann 2009-11-17