%0 Conference Paper %1 conf/cp/StynesB09 %A Stynes, David %A Brown, Kenneth N. %B CP %D 2009 %E Gent, Ian P. %I Springer %K dblp %P 771-786 %T Realtime Online Solving of Quantified CSPs. %U http://dblp.uni-trier.de/db/conf/cp/cp2009.html#StynesB09 %V 5732 %@ 978-3-642-04243-0

@inproceedings{conf/cp/StynesB09, added-at = {2017-05-17T00:00:00.000+0200}, author = {Stynes, David and Brown, Kenneth N.}, biburl = {https://www.bibsonomy.org/bibtex/22640c365fcf28cf63c9001232e9f4b5d/dblp}, booktitle = {CP}, crossref = {conf/cp/2009}, editor = {Gent, Ian P.}, ee = {https://doi.org/10.1007/978-3-642-04244-7_60}, interhash = {c0cdf6db3102e76a203250da00bca796}, intrahash = {2640c365fcf28cf63c9001232e9f4b5d}, isbn = {978-3-642-04243-0}, keywords = {dblp}, pages = {771-786}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:18:35.000+0200}, title = {Realtime Online Solving of Quantified CSPs.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2009.html#StynesB09}, volume = 5732, year = 2009 }