9. Internationaler Workshop zu "Constraint Modelling and Reformulation", St. Andrews, Vereinigtes Königreich
6 September 2010 - 6 September 2010
Vereinigtes Königreich
Am 6. September 2010 findet in St. Andrews, Vereinigtes Königreich, der 9. Internationale Workshop zu "Constraint Modelling and Reformulation" statt.
Constraint-Programmierung (CP) ist eine leistungsfähige Technologie für die Modellierung und Lösung kombinatorischer Probleme. Constraint-Programmierung ist eine Technik zum Lösen von Aufgaben, bei der Formulierungen von Einschränkungen an eine Menge von möglichen Lösungen Bestandteile von Programmen sind.
In den letzten 10 Jahren wurde an der Modellierung und Lösung von Constraint-Problemen intensiv geforscht. CP ist inzwischen weiter ausgereift und bietet erfolgreiche und umfassende Lösungsansätze für reale komplexe Anwendungen. Trotz allem jedoch ist die Technologie nur wenigen Fachleuten zugänglich. Damit auch Laien lernen, damit umzugehen, sind weitere Forschungen nötig, um die Technologie leichter anwendbar zu machen.
Schwerpunkte des Workshops sind u.a.:
- kombinatorische Probleme und Lösungsansätze für deren Modellierung
- Verständnis von Modellierung als Leitfaden für die manuelle oder automatisierte Formulierung von Modellen
- Identifizierung von Kriterien für den Einsatz in Evaluierungsmodellen und Entwurf pragmatischer Techniken für die Auswahl und gegebenenfalls Kombination alternativer Modelle
- Entwurf höherer Programmiersprachen zur Modellierung und automatisierten Umformulierung.Weitere Informationen finden Sie unter:
http://www.it.uu.se/research/group/astra/ModRef10/(öffnet in neuem Fenster)
Constraint-Programmierung (CP) ist eine leistungsfähige Technologie für die Modellierung und Lösung kombinatorischer Probleme. Constraint-Programmierung ist eine Technik zum Lösen von Aufgaben, bei der Formulierungen von Einschränkungen an eine Menge von möglichen Lösungen Bestandteile von Programmen sind.
In den letzten 10 Jahren wurde an der Modellierung und Lösung von Constraint-Problemen intensiv geforscht. CP ist inzwischen weiter ausgereift und bietet erfolgreiche und umfassende Lösungsansätze für reale komplexe Anwendungen. Trotz allem jedoch ist die Technologie nur wenigen Fachleuten zugänglich. Damit auch Laien lernen, damit umzugehen, sind weitere Forschungen nötig, um die Technologie leichter anwendbar zu machen.
Schwerpunkte des Workshops sind u.a.:
- kombinatorische Probleme und Lösungsansätze für deren Modellierung
- Verständnis von Modellierung als Leitfaden für die manuelle oder automatisierte Formulierung von Modellen
- Identifizierung von Kriterien für den Einsatz in Evaluierungsmodellen und Entwurf pragmatischer Techniken für die Auswahl und gegebenenfalls Kombination alternativer Modelle
- Entwurf höherer Programmiersprachen zur Modellierung und automatisierten Umformulierung.Weitere Informationen finden Sie unter:
http://www.it.uu.se/research/group/astra/ModRef10/(öffnet in neuem Fenster)