A Partial Taxonomy of Substitutability and Interchangeability (SymCon 10)

Shant Karakashian, Robert Woodward, Berthe Y. Choueiry, Steven Prestwhich, and Eugene C. Freuder, "A Partial Taxonomy of Substitutability and Interchangeability," in Proceedings of the International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon 10), 2010, pp. 1--18. [PDF] [BIB] [Slides PPTX]