Realtime Online Solving of Quantified CSPs - Microsoft Research

Microsoft Translator |

Realtime Online Solving of Quantified CSPs

David Stynes and Kenneth N. Brown
2009

In To appear in Proceedings of CP

Details

Type	Inproceedings

Related Labs

Microsoft Research Cambridge

> Publications > Realtime Online Solving of Quantified CSPs