Eric Monfroy Michaël Rusinowitch René Schott Implementing non-linear constraints with cooperative solvers. 63-72 1996 conf/sac/1996 SAC http://doi.acm.org/10.1145/331119.331147 db/conf/sac/sac1996.html#MonfroyRS96