Jean-Francois Puget Constraint Programming (Abstract). 3 1996 JICSLP db/conf/iclp/iclp96.html#Puget96