Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming.

Victor Lagerkvist, Johanna Groven, Leif Eriksson

Browse the full AAAI paper archive.