Erfüllbarkeitsüberprüfung (Satisfiability Checking): Vorlesung (Mo, 21.10.2019)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Kapitel:

00:01:32
Normal Forms (propositional logic)
00:36:05
Enumeration & Deduction
01:20:45
Examples (normal form conversions)