A Partial Taxonomy of Substitutability and Interchangeability

Authors

Shant Karakashian, University of Nebraska-LincolnFollow
Robert J. Woodward, University of Nebraska-LincolnFollow
Berthe Y. Choueiry, University of Nebraska-LincolnFollow
Steven D. Prestwich, University College CorkFollow
Eugene C. Freuder, University College CorkFollow

Date of this Version

2010

Comments

Karakashian, Woodward, Choueiry, Prestwhich & Freuder in Proceedings of the International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon '10). Pages 1-18. Copyright 2010, SymCon. Used by permission.

Abstract

Substitutability, interchangeability and related concepts in Constraint Programming were introduced approximately twenty years ago and have given rise to considerable subsequent research. We survey this work, classify, and relate the different concepts, and indicate directions for future work, in particular with respect to making connections with research into symmetry breaking. This paper is a condensed version of a larger work in progress.