Provably efficient algorithms for resolving temporal and spatial difference constraint violations

Ali Dasdan. Provably efficient algorithms for resolving temporal and spatial difference constraint violations. ACM Trans. Design Autom. Electr. Syst., 14(1), 2009. [doi]

Abstract

Abstract is missing.