implementation, and evaluation of the constraint language cc(FD (0)

by P Van Hentenryck, V A Saraswat, Y Deville, “Design
Venue:in Constraint Programming, Basics and Trends