Nächste Seite:
Syntax, Semantik
Aufwärts:
Constraint-Programmierung Vorlesung Sommersemester 2009,
Vorherige Seite:
Folgerungen aus Unentscheidbarkeit
Lineare Gleichungen und Ungleichungen
Unterabschnitte
Syntax, Semantik
Normalformen
Hintergründe
Lineare Gleichungssysteme
Lineare Ungleichungen und Optimierung
Lösungsverfahren für lin. Ungl.-Sys.
Fourier-Motzkin-Verfahren
(Mixed) Integer Programming
SAT als IP
Travelling Salesman als MIP
Travelling Salesman als MIP (II)
min und max als MIP
Übungen zu lin. Gl./Ungl.
2014-07-06
