Efficient Algorithms for Functional Constraints.

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

Browse the full ICLP paper archive.