Please use this identifier to cite or link to this item:
doi:10.22028/D291-25755
Title: | Lösen kombinatorischer Probleme mit Constraintprogrammierung in Oz |
Author(s): | Würtz, Jörg |
Language: | German |
Year of Publication: | 1998 |
SWD key words: | Reihenfolgeproblem ; Constraint-logische Programmierung ; Oz <Programmiersprache> |
DDC notations: | 004 Computer science, internet |
Publikation type: | Dissertation |
Abstract: | In dieser Dissertation beschäftigen wir uns mit der Lösung kombinatorischer Probleme durch Constraintprogrammierung. Wir zeigen, daß verschiedene kombinatorische Probleme in der nebenläufigen Constraintsprache Oz effizient gelöst werden können. Wir führen ein formales Modell von constraintbasiertem Lösen kombinatorischer Probleme ein, das unabhängig von einer konkreten Programmiersprache ist, und wir zeigen, wie einige der derzeit besten Schedulingtechniken (Techniken für Ablaufplanung) aus dem Operations Research für Constraintpropagierung und Distribuierung in dieses Modell integriert werden können. Wir zeigen, wie dieses Modell in die nebenläufige Constraintsprache Oz eingebettet werden kann und belegen mit einer Reihe von Fallstudien für große und schwierige Probleme aus dem Gebiet des Scheduling die
Leistungsfähigkeit des entwickelten Systems. In this doctoral dissertation we deal with combinatorial problem solving by constraint programming. We show that a number of combinatorial problems can be efficiently solved in the concurrent constraint language Oz. We introduce a formal model for constraint-based combinatorial problem solving which is independent from a particular programming language. We show how some of the currently best scheduling techniques from Operations Research can be integrated in the model of constraint propagation and distribution. We embed this model in the concurrent constraint language Oz and prove the efficiency of the developed system by a series of case studies for large and hard problems from the area of scheduling. |
Link to this record: | urn:nbn:de:bsz:291-scidok-2499 hdl:20.500.11880/25811 http://dx.doi.org/10.22028/D291-25755 |
Advisor: | Gert Smolka |
Date of oral examination: | 14-May-1998 |
Date of registration: | 19-May-2004 |
Faculty: | MI - Fakultät für Mathematik und Informatik |
Department: | MI - Informatik |
Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
File | Description | Size | Format | |
---|---|---|---|---|
JoergWuertz_ProfDrGertSmolka.pdf | 1,36 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.