Modellierung mit Funktionen

Beispiel: Minimum Open-Shop Scheduling

http://www.nada.kth.se/~viggo/wwwcompendium/node190.html

beachte die Benutzung von

• Funktionen
• Mengen
• Logik (Quantoren)

in dieser Spezifikation.