Decremental Consistency Checking of Temporal Constraints: Algorithms for the Point Algebra and the ORD-Horn Class.

Massimo Bono, Alfonso Emilio Gerevini

Browse the full CP paper archive.