[BibTeX] [RIS]
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 Westphal, Matthias
Wölfl, Stefan
Attachments
    Notes
      Topics