E. Freuder
Constraint Computation Center, Department of Computer Science, University of New Hampshire, Durham, NH
Dealing with incomplete knowledge on CLP(FD) variable domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reformulating Table Constraints using Functional Dependencies--An Application to Explanation Generation
Constraints