A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks.

Luke Hunsberger, Roberto Posenato, Carlo Combi

Browse the full TIME paper archive.