Please use this identifier to cite or link to this item: https://doi.org/10.1007/s10601-006-8058-9
DC FieldValue
dc.titleApplying Ad-hoc global constraints with the case constraint to still-life
dc.contributor.authorCheng, K.C.K.
dc.contributor.authorYap, R.H.C.
dc.date.accessioned2013-07-04T08:45:47Z
dc.date.available2013-07-04T08:45:47Z
dc.date.issued2006
dc.identifier.citationCheng, K.C.K., Yap, R.H.C. (2006). Applying Ad-hoc global constraints with the case constraint to still-life. Constraints 11 (2-3) : 91-114. ScholarBank@NUS Repository. https://doi.org/10.1007/s10601-006-8058-9
dc.identifier.issn13837133
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/42197
dc.description.abstractThe Still-Life problem is challenging for CP techniques because the basic constraints of the game of Life are loose and give poor propagation for Still-Life. In this paper, we show how ad hoc global case constraints can be customized to construct various models to provide much stronger propagation with CP solvers. Since we use custom ad hoc constraints of high arity where the number of tuples to define the constraint are large, the actual constraint representation becomes important to avoid excessive space consumption. We demonstrate how to use BDDs to construct good representations for the case constraint which is critical for efficiency. Our results seem comparable to hybrid CP/IP models even though we are only using propagation albeit on ad hoc global constraints. This paper shows an extensive example of how to systematically build models using different kinds of ad hoc constraints. It also demonstrates the solving potential of ad hoc global constraints. © Springer Science + Business Media, LLC 2006.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1007/s10601-006-8058-9
dc.sourceScopus
dc.subjectAd-hoc constraint
dc.subjectBinary decision diagram
dc.subjectModeling
dc.subjectNon-binary constraint
dc.subjectStill-life problem
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1007/s10601-006-8058-9
dc.description.sourcetitleConstraints
dc.description.volume11
dc.description.issue2-3
dc.description.page91-114
dc.description.codenCNSTF
dc.identifier.isiut000238323500003
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

7
checked on Feb 21, 2020

WEB OF SCIENCETM
Citations

4
checked on Feb 21, 2020

Page view(s)

85
checked on Feb 19, 2020

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.