@InProceedings{Würtz_Müller:1996,
AUTHOR = {Würtz, Jörg and Müller, Tobias},
TITLE = {Constructive Disjunction Revisited},
YEAR = {1996},
BOOKTITLE = {KI-96: Advances in Artificial Intelligence. 20th Annual German Conference on Artificial Intelligence, September 17-19},
NUMBER = {1137},
PAGES = {377-386},
EDITOR = {Görz, Günther and Hölldobler, Steffen},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Dresden, Germany},
PUBLISHER = {Springer},
URL = {ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/KI96.ps.gz},
ABSTRACT = {Finite Domain Programming is a technique for solving combinatorial problems like planning, scheduling, configuration or timetabling. Inevitably, these problems employ disjunctive constraints. A rather new approach to model those constraints is constructive disjunction, whereby common information is lifted from the alternatives, aiming for stronger pruning of the search space. We show where constructive disjunction provides for stronger pruning and where it fails to do so. For several problems, including a real-world college timetabling application, benefits and limitations of constructive disjunction are exemplified. As an experimental platform we use the concurrent constraint language Oz.},
ANNOTE = {COLIURL : Wurtz:1996:CDR.pdf Wurtz:1996:CDR.ps}
}
|
