Hentenryck and Vijay A. Saraswat. cc(FD): Constraint programming over finite domains (1991)

by Pascal Van