%0 Conference Paper %1 conf/ecai/GentNR04 %A Gent, Ian P. %A Nightingale, Peter %A Rowley, Andrew G. D. %B ECAI %D 2004 %E de Mántaras, Ramón López %E Saitta, Lorenza %I IOS Press %K dblp %P 176-180 %T Encoding Quantified CSPs as Quantified Boolean Formulae. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2004.html#GentNR04 %@ 1-58603-452-9

@inproceedings{conf/ecai/GentNR04, added-at = {2008-11-20T00:00:00.000+0100}, author = {Gent, Ian P. and Nightingale, Peter and Rowley, Andrew G. D.}, biburl = {https://www.bibsonomy.org/bibtex/2ae3428771cf1ad46288e0ad9859cbfe7/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2004}, editor = {de Mántaras, Ramón López and Saitta, Lorenza}, interhash = {2015747742c57096546306d31a43b4c4}, intrahash = {ae3428771cf1ad46288e0ad9859cbfe7}, isbn = {1-58603-452-9}, keywords = {dblp}, pages = {176-180}, publisher = {IOS Press}, timestamp = {2018-05-12T11:39:22.000+0200}, title = {Encoding Quantified CSPs as Quantified Boolean Formulae.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2004.html#GentNR04}, year = 2004 }