Interchangeability Supports Abstraction and Reformulation for Multi-Dimensional Constraint Satisfaction.

Eugene C. Freuder, Daniel Sabin

Browse the full AAAI paper archive.