Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/77881
DC Field | Value | |
---|---|---|
dc.title | Maintaining generalized arc consistency on Ad-hoc n-ary boolean constraints | |
dc.contributor.author | Cheng, K.C.K. | |
dc.contributor.author | Yap, R.H.C. | |
dc.date.accessioned | 2014-07-04T03:09:53Z | |
dc.date.available | 2014-07-04T03:09:53Z | |
dc.date.issued | 2006 | |
dc.identifier.citation | Cheng, K.C.K.,Yap, R.H.C. (2006). Maintaining generalized arc consistency on Ad-hoc n-ary boolean constraints. Frontiers in Artificial Intelligence and Applications 141 : 78-82. ScholarBank@NUS Repository. | |
dc.identifier.isbn | 9781586036423 | |
dc.identifier.issn | 09226389 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/77881 | |
dc.description.abstract | Binary decision diagrams (BDDs) can compactly rep- resent ad-hoc n-ary Boolean constraints. However, there is no gen- eralized 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 mem- ory 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. © 2006 The authors. | |
dc.source | Scopus | |
dc.type | Article | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.sourcetitle | Frontiers in Artificial Intelligence and Applications | |
dc.description.volume | 141 | |
dc.description.page | 78-82 | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.