Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/41058
DC FieldValue
dc.titleAd-hoc global constraints for life
dc.contributor.authorCheng, K.C.K.
dc.contributor.authorYap, R.H.C.
dc.date.accessioned2013-07-04T08:18:38Z
dc.date.available2013-07-04T08:18:38Z
dc.date.issued2005
dc.identifier.citationCheng, K.C.K.,Yap, R.H.C. (2005). Ad-hoc global constraints for life. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3709 LNCS : 182-195. ScholarBank@NUS Repository.
dc.identifier.isbn3540292381
dc.identifier.issn03029743
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/41058
dc.description.abstractStill-life is a challenging problem for CP techniques. We show how to use the global case constraint to construct ad-hoc constraints which can provide stronger propagation than existing CP models. We also 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 is rather promising since it shows the potential of ad-hoc global constraints to do better than IP global constraints. © Springer-Verlag Berlin Heidelberg 2005.
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.sourcetitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.description.volume3709 LNCS
dc.description.page182-195
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

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

Page view(s)

86
checked on Jul 5, 2019

Google ScholarTM

Check

Altmetric


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