Solving Functional Constraints by Variable Substitution

Yuanlin Zhang, Roland H. C. Yap

Functional constraints and bi-functional constraints are an important constraint class in Constraint Programming (CP) systems, in particular for Constraint Logic Programming (CLP)…