Programming constraint inference engines (1997)

by C Schulte
Venue:Third International Conference on Principles and Practice of Constraint Programming, LNCS