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

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