Qualitative {CSP}, Finite {CSP}, and {SAT}: Comparing Methods for Qualitative Constraint-based Reasoning
Type of publication: | Inproceedings |
Citation: | westphal-woelfl-ijcai:09 |
Booktitle: | Proceedings of {IJCAI-09} |
Year: | 2009 |
Userfields: | date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, project={fremdliteratur}, |
Keywords: | |
Authors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|