Proceedings:
Book One
Volume
Issue:
Proceedings of the AAAI Conference on Artificial Intelligence, 20
Track:
Constraint Satisfaction and Satisfiability
Downloads:
Abstract:
A general n-ary constraint is usually represented explicitly as a set of its solution tuples, which may need exponential space. In this paper, we introduce a new representation for general n-ary constraints called
AAAI
Proceedings of the AAAI Conference on Artificial Intelligence, 20