Please use this identifier to cite or link to this item:
https://doi.org/10.1145/2480362.2480382
DC Field | Value | |
---|---|---|
dc.title | Many-to-many interchangeable sets of values in CSPs | |
dc.contributor.author | Likitvivatanavong, C. | |
dc.contributor.author | Yap, R.H.C. | |
dc.date.accessioned | 2014-07-04T03:13:48Z | |
dc.date.available | 2014-07-04T03:13:48Z | |
dc.date.issued | 2013 | |
dc.identifier.citation | Likitvivatanavong, C., Yap, R.H.C. (2013). Many-to-many interchangeable sets of values in CSPs. Proceedings of the ACM Symposium on Applied Computing : 86-91. ScholarBank@NUS Repository. https://doi.org/10.1145/2480362.2480382 | |
dc.identifier.isbn | 9781450316569 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/78220 | |
dc.description.abstract | Onto-substitutability has been shown to be intrinsic to how a domain value is considered redundant. A value is onto-substitutable if any solution involving that value remains a solution when that value is replaced by some other value. We redefine onto-substitutability to accommodate binary relationships and study its implication. Joint interchangeability, an extension of onto-substitutability to its interchangeabil-ity counterpart, emerges as one of the results. We propose a new way of removing interchangeable values by constructing a new value as an intermediate step, as well as introduce virtual interchangeability, a local reasoning that leads to joint interchangeability and allows values to be merged together. Copyright 2013 ACM. | |
dc.description.uri | http://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1145/2480362.2480382 | |
dc.source | Scopus | |
dc.subject | Constraint satisfaction problems | |
dc.subject | Interchangeability | |
dc.type | Conference Paper | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.doi | 10.1145/2480362.2480382 | |
dc.description.sourcetitle | Proceedings of the ACM Symposium on Applied Computing | |
dc.description.page | 86-91 | |
dc.identifier.isiut | 000217430900004 | |
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.