Next:
Darstellung der Instanz
Up:
SAT : Erfüllbarkeit für
Previous:
Validierung
Contents
Verifizierung
Beim Verifizieren wird überprüft, ob die Belegung b Formel f erfüllt.
Johannes Waldmann 2009-11-17