Combination of matching algorithmsCombining symbolic constraint solvers on algebraic domainsConstraint solving by narrowing in combined algebraic domains
