A Partial Taxonomy of Substitutability & 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

Document Type

Article

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

•Introduction

–Basic form & extensions

–Features & use

–Further developments

•Taxonomy using a partial order

–One example

•Relation to

–General forms of symmetry

–Symmetry breaking during search

•Future research & conclusions