Next:
Darstellung des Beweises
Up:
SAT : Erfüllbarkeit für
Previous:
Verifizierung
Contents
Darstellung der Instanz
Das SAT wird in einer Tablle im HTML-Format abgelegt und dann auf der entsprechenden Seite eingebunden.
Johannes Waldmann 2009-11-17