Show simple item record

dc.contributor.authorSchulte, C
dc.contributor.authorStuckey, PJ
dc.date.available2014-05-22T02:27:11Z
dc.date.issued2005-05-01
dc.identifierhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000229934700002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=d4d813f4571fa7d6246bdc0dfeca3a1c
dc.identifier.citationSchulte, C. & Stuckey, P. J. (2005). When do bounds and domain propagation lead to the same search space?. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 27 (3), pp.388-425. https://doi.org/10.1145/1065887.1065889.
dc.identifier.issn0164-0925
dc.identifier.urihttp://hdl.handle.net/11343/31069
dc.description.abstract<jats:p>This article explores the question of when two propagation-based constraint systems have the same behavior, in terms of search space. We categorize the behavior of domain and bounds propagators for primitive constraints, and provide theorems that allow us to determine propagation behaviors for conjunctions of constraints. We then show how we can use this to analyze CLP(FD) programs to determine when we can safely replace domain propagators by more efficient bounds propagators without increasing search space. Empirical evaluation shows that programs optimized by the analysis' results are considerably more efficient.</jats:p>
dc.languageEnglish
dc.publisherASSOC COMPUTING MACHINERY
dc.subjectComputer Software; Information Systems
dc.titleWhen do bounds and domain propagation lead to the same search space?
dc.typeJournal Article
dc.identifier.doi10.1145/1065887.1065889
melbourne.peerreviewPeer Reviewed
melbourne.affiliationThe University of Melbourne
melbourne.affiliation.departmentComputer Science and Software Engineering
melbourne.source.titleACM Transactions on Programming Languages and Systems
melbourne.source.volume27
melbourne.source.issue3
melbourne.source.pages388-425
dc.description.pagestart388
melbourne.publicationid40359
melbourne.elementsid270645
melbourne.contributor.authorStuckey, Peter
melbourne.internal.ingestnoteAbstract bulk upload (2017-07-24)
dc.identifier.eissn1558-4593
melbourne.accessrightsThis item is currently not available from this repository


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record