Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms

14 years 3 months ago

Download compdiag.molgen.mpg.de

Reformulating constraint satisfaction problems (CSPs) in lower arity is a common procedure when computing consistency. Lower arity CSPs are simpler to treat than high arity CSPs. Several consistency algorithms have exponential complexity in the CSP’s arity, others only work on low arity CSPs. Much work in constraint satisfaction has concentrated on binary CSPs, since in a theoretical view any CSP on discrete domains can be reformulated in binary form. Although this is not true for numeric CSPs the constraints of which are equalities and inequalities speciﬁed using mathematical expressions, it has been shown that rewriting such CSPs in terms of ternary constraints is possible as long as only unary and binary operators occur in the mathematical expressions. Nevertheless, very few methods to actually perform this task automatically have been suggested so far, the reformulation is often done by hand. In this paper we present algorithms to rewrite numeric CSPs in terms of ternary const...

Claudio Lottaz

Real-time Traffic