Sciweavers

AAAI
2000

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

13 years 4 months ago
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
Barbara M. Smith, Kostas Stergiou, Toby Walsh
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2000
Where AAAI
Authors Barbara M. Smith, Kostas Stergiou, Toby Walsh
Comments (0)