%0 Journal Article %1 journals/ai/GentNRS08 %A Gent, Ian P. %A Nightingale, Peter %A Rowley, Andrew G. D. %A Stergiou, Kostas %D 2008 %J Artif. Intell. %K %N 6-7 %P 738-771 %T Solving quantified constraint satisfaction problems. %U http://dblp.uni-trier.de/db/journals/ai/ai172.html#GentNRS08 %V 172

@article{journals/ai/GentNRS08, added-at = {2023-12-12T19:41:49.000+0100}, author = {Gent, Ian P. and Nightingale, Peter and Rowley, Andrew G. D. and Stergiou, Kostas}, biburl = {https://www.bibsonomy.org/bibtex/209485ae2383c401cdb6ed597fb6e5688/admin}, ee = {https://doi.org/10.1016/j.artint.2007.11.003}, interhash = {24aad50023ad80606777ab50b59829be}, intrahash = {09485ae2383c401cdb6ed597fb6e5688}, journal = {Artif. Intell.}, keywords = {}, number = {6-7}, pages = {738-771}, timestamp = {2023-12-12T19:41:49.000+0100}, title = {Solving quantified constraint satisfaction problems.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai172.html#GentNRS08}, volume = 172, year = 2008 }