Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning.

Matthias Westphal, Stefan Wlfl

Browse the full IJCAI paper archive.