Please use this identifier to cite or link to this item:
Title: Many-to-many interchangeable sets of values in CSPs
Authors: Likitvivatanavong, C. 
Yap, R.H.C. 
Keywords: Constraint satisfaction problems
Issue Date: 2013
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.
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.
Source Title: Proceedings of the ACM Symposium on Applied Computing
ISBN: 9781450316569
DOI: 10.1145/2480362.2480382
Appears in Collections:Staff Publications

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


checked on Feb 27, 2021

Page view(s)

checked on Feb 15, 2021

Google ScholarTM



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