Die Constraint-basierte Programmierung begann vor etwa 10 Jahren als natürliche Fusion zweier deklarativen Paradigmen: Lösen von Constraints und Logikprogrammierung. Dadurch lassen sich schnell und elegant komplexe kombinatorische Probleme durch eine Verbindung aus Constraintlösen und Suche behandeln.

Unter Constraintlösen versteht man das Lösen von Problemen, indem man Constraints (Bedingungen, Einschränkungen) angibt, die von einer Lösung erfüllt werden müssen, und diese Constraints kombiniert, um die Lösung weiter einzuschränken.

Haupteinsatzbereiche sind Produktions- und Personalplanung, Transportoptimierung sowie Layoutgenerierung. Dieses Projekt untersucht verschiedenste Apekte der Constraint-Programmierung.

Buch Constraint-Programmierung