Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC.

Neng-Fa Zhou

Browse the full ICLP paper archive.