Incremental Forward Checking for the Disjunctive Temporal Problem

Angelo Oddi, Amedeo Cesta. Incremental Forward Checking for the Disjunctive Temporal Problem. In Werner Horn, editor, ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000. pages 108-112, IOS Press, 2000.

Abstract

Abstract is missing.