Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning
Type of publication: | Inproceedings |
Citation: | r4:ijcai/WestphalW09 |
Booktitle: | IJCAI-09 |
Year: | 2009 |
Userfields: | project={R4-LogoSpace}, status={Reviewed}, |
Keywords: | |
Authors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|