Microsoft Research
Microsoft Translator |
Realtime Online Solving of Quantified CSPs

David Stynes and Kenneth N. Brown
2008

In  Proceedings of Workshop on Quantification in Constraint Programming, QiCP

Details

TypeInproceedings
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Realtime Online Solving of Quantified CSPs