Proceedings:
Proceedings of the AAAI Conference on Artificial Intelligence, 21
Volume
Issue:
Technical Papers
Track:
Constraint Satisfaction and Satisfiability
Downloads:
Abstract:
We present a new propagator achieving bound consistency for the Inter-Distance constraint. This constraint ensures that, among a set of variables
AAAI
Technical Papers