Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
When Do Bounds and Domain Propagation Lead to the Same Search Space
KTH, Superseded Departments (pre-2005), Microelectronics and Information Technology, IMIT.ORCID iD: 0000-0002-6283-7004
2001 (English)In: Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00); Florence; Italy; 5 September 2001 through 7 September 2001, ACM Press, 2001, p. 115-126Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
ACM Press, 2001. p. 115-126
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-225404Scopus ID: 2-s2.0-0035790267ISBN: 158113388X (print)OAI: oai:DiVA.org:kth-225404DiVA, id: diva2:1199107
Conference
3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'00); Florence; Italy; 5 September 2001 through 7 September 2001
Note

QC 20180425

Available from: 2018-04-19 Created: 2018-04-19 Last updated: 2018-04-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Scopushttps://chschulte.github.io/paper.php?id=SchulteStuckey:PPDP:2001

Authority records BETA

Schulte, Christian

Search in DiVA

By author/editor
Schulte, Christian
By organisation
Microelectronics and Information Technology, IMIT
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 2 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf