Christophe Lecoutre, Sylvain Merchez, Frédéric Boussemart, Éric Grégoire. A CSP Abstraction Framework. In Berthe Y. Choueiry, Toby Walsh, editors, Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings. Volume 1864 of Lecture Notes in Computer Science, pages 326-327, Springer, 2000. [doi]
Abstract is missing.