Encoding table constraints in CLP(FD) based on pair-wise AC (0)

by N-F Zhou
Venue:In Proceedings of the International Conference on Logic Programming (ICLP