Solving a System of Difference Constraints with Variables Restricted to a Finite Set
16 May 2002
An algorithm is given for the solution of a system of difference constraints where the variables must take on values from a given finite set of real numbers.