Efficient solution techniques for disjunctive temporal reasoning problems

Over the past few years, a new constraint-based formalism for temporal reasoning has been developed to represent and reason about Disjunctive Temporal Problems (DTPs). The class of DTPs is signific...