Solving Systems of Difference Constraints Incrementally with Bidirectional Search

Jianjun Zhou, Martin Müller 0003. Solving Systems of Difference Constraints Incrementally with Bidirectional Search. Algorithmica, 39(3):255-274, 2004. [doi]

Abstract

Abstract is missing.