Dealing with incomplete knowledge on CLP(FD) variable domains (2005)

by M Gavanelli, E Lamma, P Mello, M Milano
Venue:ACM Transactions on Programming Languages and Systems