Microsoft Research
Microsoft Translator |
Value Ordering for Quantified CSPs

David Stynes and Kenneth N. Brown
2007

In  Proceedings of CP2007 Doctoral Programme

Details

TypeInproceedings
Pages157-162
> Publications > Value Ordering for Quantified CSPs