Cooperative Solvers and Global Constraints: The Case of Linear Arithmetic (1995)

by B DE BACKER, H BERINGER
Venue:Constraints, in Postconference Workshop on Constraints, Databases, and Logic Programming, ILPS’95