Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems

We perform an extensive theoretical and empirical analysis of the use of auxiliary variables and implied constraints in modelling a class of non-binary constraint satisfaction problems called problems of distance. This class of problems include 1-d, 2-d and circular Golomb rulers. We identify a large number of different models, both binary and non-binary, and compare theoretically the level of consistency achieved by generalized arc consistency on them. Our experiments show that

• Type: Conference
• Year: 2000
• Where: AAAI
• Authors: Barbara M. Smith, Kostas Stergiou, Toby Walsh
• Keywords: AAAI 2000, Circular Golomb Rulers, Generalized Arc Consistency, Intelligent Agents, Non-binary Constraint Satisfaction