Skip to main content

Showing 1–1 of 1 results for author: Prestwhich, S

Searching in archive cs. Search in all archives.
.
  1. arXiv:1010.4609  [pdf, other

    cs.AI

    A Partial Taxonomy of Substitutability and Interchangeability

    Authors: Shant Karakashian, Robert Woodward, Berthe Y. Choueiry, Steven Prestwhich, Eugene C. Freuder

    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 co… ▽ More

    Submitted 22 October, 2010; originally announced October 2010.

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