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

Westphal and Wölfl. "Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-Based Reasoning." International Joint Conference on Artificial Intelligence, 2009.

[Westphal and Wölfl. "Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-Based Reasoning." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/westphal2009ijcai-qualitative/)

@inproceedings{westphal2009ijcai-qualitative,
  title     = {{Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-Based Reasoning}},
  author    = {Westphal, Matthias and Wölfl, Stefan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {628-633},
  url       = {https://mlanthology.org/ijcai/2009/westphal2009ijcai-qualitative/}
}