A Local Simplification Scheme for cc Programs

Vincent Sch├Ąchter. A Local Simplification Scheme for cc Programs. In Eugene C. Freuder, editor, Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996. Volume 1118 of Lecture Notes in Computer Science, pages 557-558, Springer, 1996.

Abstract

Abstract is missing.