onr:"swepub:oai:DiVA.org:kth-70427"
Search: onr:"swepub:oai:DiVA.org:kth-70427" > Dynamic Variable El...
- 1 of 1
- Previous record
- Next record
- To hitlist
- Schulte, ChristianKTH,Elektronik- och datorsystem, ECS (author)
Dynamic Variable Elimination During Propagation Solving
- Article/chapterEnglish2008
Publisher, publication year, extent ...
- 2008-07-15
- New York, NY, USA :ACM Press,2008
- printrdacarrier
Numbers
- LIBRIS-ID:oai:DiVA.org:kth-70427
- https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-70427URI
- https://doi.org/10.1145/1389449.1389480DOI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- QC 20120131
- Constraint propagation solvers interleave propagation (removing impossible values from variables domains) with search. Propagation is performed by executing propagators (removing values) implementing constraints (defining impossible values). In order to specify constraint problems with a propagation solver often many new intermediate variables need to be introduced. Each variable plays a role in calculating the value of some expression. But as search proceeds not all of these expressions will be of interest any longer, but the propagators implementing them will remain active. In this paper we show how we can analyse the propagation graph of the solver in linear time to determine intermediate variables that can be removed without effecting the result. Experiments show that applying this analysis can reduce the space and time requirements for constraint propagation on example problems.
Subject headings and genre
- NATURVETENSKAP Data- och informationsvetenskap Datavetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Computer Sciences hsv//eng
- Analysis
- Constraint (logic) programming
- Constraint propagation
- Redundancy
Added entries (persons, corporate bodies, meetings, titles ...)
- Stuckey, Peter J. (author)
- KTHElektronik- och datorsystem, ECS (creator_code:org_t)
Related titles
- In:PPDP 2008New York, NY, USA : ACM Press, s. 247-257
Internet link
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Schulte, Christi ...
- Stuckey, Peter J ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- PPDP 2008
- By the university
- Royal Institute of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
