logo
A General Qualitative Framework for Temporal and Spatial Reasoning1
A Comparison between SAT and CSP Techniques
Implementing a Test for Tractability