Please use this identifier to cite or link to this item: https://doi.org/10.1145/2480362.2480382
Title: Many-to-many interchangeable sets of values in CSPs
Authors: Likitvivatanavong, C. 
Yap, R.H.C. 
Keywords: Constraint satisfaction problems
Interchangeability
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. https://doi.org/10.1145/2480362.2480382
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
URI: http://scholarbank.nus.edu.sg/handle/10635/78220
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.

SCOPUSTM   
Citations

4
checked on Jul 14, 2018

Page view(s)

32
checked on Jun 1, 2018

Google ScholarTM

Check

Altmetric


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