An Elimination Algorithm for Functional Constraints.

Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti

Browse the full CP paper archive.