Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class (1997)

by Bernhard Nebel
Venue:Constraints
Citations:64 - 6 self