QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems
Title | QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems |
Publication Type | Conference Paper |
Year of Publication | 2005 |
Authors | Gent I, Nightingale P, Stergiou K |
Editor | Gent I |
Conference Name | Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-2005) |
Date Published | 00/2005 |