use domain constraints to reduce search space