Journal: Constraints

Volume 9, Issue 2

99 -- 121Jean-François Condotta. A General Qualitative Framework for Temporal and Spatial Reasoning
123 -- 138Hachemi Bennaceur. A Comparison between SAT and CSP Techniques
139 -- 160Richard Gault, Peter Jeavons. Implementing a Test for Tractability