Solving Systems of Difference Constraints Incrementally

  title={Solving Systems of Difference Constraints Incrementally},
  author={G. Ramalingam and Junehwa Song and Leo Joskowicz and Raymond E. Miller},
Difference constraints systems consisting of inequalities of the form x i - x j $ \leq $ b i,j occur in many applications, most notably those involving temporal reasoning. Often, it is necessary to maintain a solution to such a system as constraints are added, modified, and deleted. Existing algorithms handle modifications by solving the resulting system anew each time, which is inefficient. The best known algorithm to determine if a system of difference constraints is feasible (i.e., if it has… CONTINUE READING