Please use this identifier to cite or link to this item:
|Title:||Ad-hoc global constraints for life||Authors:||Cheng, K.C.K.
|Issue Date:||2005||Citation:||Cheng, 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.||Abstract:||Still-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.||Source Title:||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)||URI:||http://scholarbank.nus.edu.sg/handle/10635/41058||ISBN:||3540292381||ISSN:||03029743|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Jul 22, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.