Frank Raiser. Semi-automatic Generation of CHR Solvers for Global Constraints. In Peter J. Stuckey, editor, Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Volume 5202 of Lecture Notes in Computer Science, pages 588-592, Springer, 2008. [doi]
Abstract is missing.