Publications
Export 2 results:
Solving Quantified Constraint Satisfaction Problems. Artificial Intelligence.
.
Submitted.
QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems. Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-2005).
.
2005.