Ein effizientes constraint-logisches Verfahren zur Eingrenzung der optimalen L?sungen von Problemen der Ablaufplanung

摘要

Die constraint-logische Programmierung (CLP) ist eine Erweiterung der logischen Programmierung um die effiziente Verarbeitung von Constraints und vereinigt die Deklarativit?t der Logischen Programmierung mit der Effizienz der Constraint-Programmierung. Die constraint-logische Programmierung mit linearen Constraints über endlichen Dom?nen, die oft mit CLP (FD) bezeichnet wird, kann als praktisches Tool für das L?sen diskreter Planungsprobleme erfolgreich eingesetzt werden (siehe z.B. [DSvH90, AB93, BL94b, CL94]).