A unifying framework for integer and finite domain constraint programming (1997)

by A Bockmayr, T Kasper
Venue:Research Report MPI-I-97-2-008, Max Planck Institut für Informatik, Saarbrücken