Incremental Forward Checking for the Disjunctive Temporal Problem

A. Oddi and A. Cesta

In Proceedings of ECAI, 2000