Eric Monfroy, Michaël Rusinowitch, René Schott. Implementing non-linear constraints with cooperative solvers. In Proceedings of the 1996 ACM Symposium on Applied Computing (SAC), February 17-19, 1996, Philadelphia, PA, USA. pages 63-72, ACM, 1996. [doi]
Abstract is missing.