Constraint-Based Interpolation