Vorlesung vom 14.06.2013

undefinedFolien

Beispiele für

undefinedPropagierungsmöglichkeiten

bei Scheduling-Problemen.

Dokumentation

undefinedSWI-Prolog

(Labeling-Strategien, Lokale Constraints, Globale Constraints);

Alternative zu SWI-Prolog:

undefinedGnuProlog

Und hier ist nochmal der Link zum

undefinedGlobal constraint catalog

.

 

Für Interessierte (nicht klausurrelevant):

undefinedHandout

zum SEND-MORE-MONEY Problem

 

undefinedFormale Herleitung

von Consistency-Algorithmen (TU Dresden).