Return to Article Details Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks Download Download PDF