Towards Inductive Constraint Solving (2001)

by S Abdennadher, C Rigotti
Venue:In 7th International Conference on Principles and Practice of Constraint Programming, CP01, LNCS 2239