Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti. An Elimination Algorithm for Functional 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 545-549, Springer, 2008. [doi]
Abstract is missing.