Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25783
Titel: When do bounds and domain propagation lead to the same search space
Verfasser: Schulte, Christian
Stuckey, Peter J.
Sprache: Englisch
Erscheinungsjahr: 2001
Quelle: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, Florence, Italy, September 5-7, 2001. - New York: ACM Press, 2001, pp. 115-126.
SWD-Schlagwörter: Constraint-logische Programmierung
Freie Schlagwörter: Constraints
DDC-Sachgruppe: 004 Informatik
Dokumentart : InProceedings (Aufsatz / Paper einer Konferenz etc.)
Kurzfassung: This paper explores the question of when two propagation-based constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bounds propagators for primitive constraints, and provide theorems that allow us to determine propagation behaviours for conjunctions of constraints. We then show how we can use this to analyse CLP(FD) programs to determine when we can safely replace domain propagators by more efficient bounds propagators without increasing search space.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-3052
hdl:20.500.11880/25839
http://dx.doi.org/10.22028/D291-25783
SciDok-Publikation: 13-Jul-2004
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
SchulteStuckey-PPDP2.pdf246,17 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.