Login / Signup
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning.
Matthias Westphal
Stefan Wölfl
Published in:
IJCAI (2009)
Keyphrases
</>
qualitative and quantitative
decomposition methods
constraint satisfaction problems
constraint satisfaction
preprocessing
np complete
constraint propagation
np hard
computational cost
benchmark datasets
constraint programming
quantitative and qualitative
constraint problems