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

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:00:26
Simplex
00:38:24
Example (Simplex Pivoting)
00:53:34
Simplex Termination (Bland's rule)
01:01:17
Example (Xmas Problem)
01:04:09
Full Lazy Simplex (Xmas Problem)