Design, implementation and evaluation of the constraint language cc(FD). (1998)

by P VAN HENTENRYCK, V SARASWAT, Y DEVILLE
Venue:J. Logic Program.