Rule-based specification, analysis and implementation of propagation algorithms for global constaints

这是一项正式的、有效的、全球性的限制和限制。这是一个约束问题，在此基础上，L提出了一个新的约束。在Kombination MIT Suchverfahren Gelöstöden中，Solche Probleme，Darunter NP-voIlständige，Können durch Methoden zur Vereinfachder Constraint-der Constraint-Propagierung-in Kombination MIT Suchverfahren Gelöst。Suchraum Massiv和MIT Geringem Aufwand Reduzieren的合同。所有人都有自己的专业知识。在此基础上，根据约束处理规则，确定要素的约束条件和约束条件。Verschiedene Methoden zur Automatischen Generierung solcher Regeln Aus der Definition Einfacher Constraints Existieren.在所有的项目中，我们都面临着全球范围内的限制，也就是说，全球范围内的技术规范都受到了限制，而且这些限制也不会自动发生。他说：“我的理想是什么？这是一种理想。”这是一种新的生活方式，它失去了它的过敏性和过敏性。这是一个很好的机会，也是国际上最重要的事情。

Der Inhalt dieses Projekts ist die formal korrekte und effizient ausführbare Spezifikation der Propagierung von komplexen, sogenannten globalen Constraints mit Hilfe von regelbasierten Programmen. Ein Constraint-Problem besteht aus einer Menge von Einschränkungen (Constraints), die von jeder Lösung erfüllt werden müssen. Solche Probleme, darunter NP-voIlständige, können durch Methoden zur Vereinfachung - der Constraint- Propagierung - in Kombination mit Suchverfahren gelöst werden. Constraintspezifische Propagierungsverfahren können den Suchraum massiv und mit geringem Aufwand reduzieren. Allerdings erfordert die Beschreibung und korrekte Implementierung dieser Verfahren besondere Expertise. Die Propagierung einfacher, elementarer Constraints kann durch Regeln beschrieben werden, die in Sprachen wie Constraint Handling Rules direkt ausgeführt werden können. Verschiedene Methoden zur automatischen Generierung solcher Regeln aus der Definition einfacher Constraints existieren. In diesem Projekt soll untersucht werden, wie Propagierungsverfahren für komplexe (globale) Constraints durch Regeln spezifiziert werden können, und unter welchen Bedingungen eine automatische Generierung der Regeln möglich ist. Dieser Projektvorschlag verfolgt damit das klassische Ideal vom Erzeugen effizient lauffähiger Programme aus formalen Spezifikationen im Bereich der Constraint-Propagierung. Es sind zu diesem Ziel weltweit bereits erste, allerdings begrenzte Vorarbeiten vorhanden. Es bietet sich aufgrund unserer Vorarbeiten und Forschungskontakte eine konkrete Chance, einen wesentlichen, international relevanten Beitrag leisten zu können.