vix.ing · top · new · best · stats · spec

A Partial Taxonomy of Substitutability and Interchangeability

2010/10/22 by Shant Karakashian, Robert Woodward, Karakashian, Shant +7
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #cs.AI

paper · pdf · doi:10.48550/arxiv.1010.4609

18 pages, The 10th International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'10)

arxiv created 2010/10/22 · arxiv updated 2010/10/25

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.

Related