Gent et al. "QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems." International Joint Conference on Artificial Intelligence, 2005.
Markdown
[Gent et al. "QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/gent2005ijcai-qcsp/)
BibTeX
@inproceedings{gent2005ijcai-qcsp,
title = {{QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems}},
author = {Gent, Ian P. and Nightingale, Peter and Stergiou, Kostas},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2005},
pages = {138-143},
url = {https://mlanthology.org/ijcai/2005/gent2005ijcai-qcsp/}
}