Backtracking algorithms for disjunctions of temporal constraints (2000)

by K Stergiou, M Koubarakis
Venue:Arti¯cial Intelligence