WFRF:(Cheng C.)
Search: WFRF:(Cheng C.) > (2005-2009) > Maintaining General...
- 8 of 36
- Previous record
- Next record
- To hitlist
- Cheng, Kenil C. K. (author)
Maintaining Generalized Arc Consistency on Ad-hoc n-ary Boolean Constraints
- 1
- BookEnglish2006
Publisher, publication year, extent ...
- Swedish Institute of Computer Science,2006
- 6 s.
- electronicrdacarrier
Numbers
- LIBRIS-ID:oai:DiVA.org:ri-22026
- https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22026URI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Series
- SICS Technical Report,1100-3154 ;2006:12
Notes
- Binary decision diagrams (BDDs) can compactly represent ad-hoc n-ary Boolean constraints. However, there is no generalized arc consistency (GAC) algorithm which exploit BDDs. For example, the global case constraint by SICStus Prolog for ad-hoc constraints is designed for non-Boolean domains. In this paper, we introduce a new GAC algorithm, bddc, for BDD constraints. Our empirical results demonstrate the advantages of a new BDD-based global constraint -- bddc is more efficient both in terms of memory and time than the case constraint when dealing with ad-hoc Boolean constraints. This becomes important as the size of the ad-hoc constraints becomes large.
Subject headings and genre
- NATURVETENSKAP Data- och informationsvetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences hsv//eng
- constraint programming
- CSP
- BDD
- generalized arc consistency
Added entries (persons, corporate bodies, meetings, titles ...)
- Yap, Roland H.C.RISE,SICS (author)
- RISESICS (creator_code:org_t)
Internet link
To the university's database
- 8 of 36
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Cheng, Kenil C. ...
- Yap, Roland H.C.
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- Parts in the series
- SICS Technical R ...
- By the university
- RISE
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
