You have Guest access.
Log In
Volume 1 / 1996 - Volume 17 / 2012
99-121
A General Qualitative Framework for Temporal and Spatial Reasoning
Jean-François Condotta
123-138
A Comparison between SAT and CSP Techniques
Hachemi Bennaceur
139-160
Implementing a Test for Tractability
Richard Gault and Peter Jeavons
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info