QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems

Ian P. Gent, Peter Nightingale, Kostas Stergiou. QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems. In Leslie Pack Kaelbling, Alessandro Saffiotti, editors, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005. pages 138-143, Professional Book Center, 2005. [doi]

Authors

Ian P. Gent

This author has not been identified. Look up 'Ian P. Gent' in Google

Peter Nightingale

This author has not been identified. Look up 'Peter Nightingale' in Google

Kostas Stergiou

This author has not been identified. Look up 'Kostas Stergiou' in Google