Proceedings

Splitting the atom: A new approach to Neighbourhood Interchangeability in Constraint Satisfaction Problems

Download BibTeX Cite

Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 1366-1366.

Abstract

We investigate interchangeability of values in CSPs, based on an approach where a single value in the domain of a variable can be treated as a combination of"sub-values". An algorithm for removing overlapping sub-values is presented. The resulting CSPs take less time to find all solutions and yield a more compactly-representable, but equivalent, solution set. Experimental results show that, especially in loose problems with large numbers of solutions, dramatic savings in search cost are achieved.

James Bowen, and Chavalit Likitvivatanavong. 2003. Splitting the atom: A new approach to Neighbourhood Interchangeability in Constraint Satisfaction Problems. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03. IJCAI, 1366–1366. https://ijcai.org/proceedings/2003/200
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards