%0 Conference Paper %1 conf/cp/GentHRS03 %A Gent, Ian P. %A Hoos, Holger H. %A Rowley, Andrew G. D. %A Smyth, Kevin %B CP %D 2003 %E Rossi, Francesca %I Springer %K dblp %P 348-362 %T Using Stochastic Local Search to Solve Quantified Boolean Formulae. %U http://dblp.uni-trier.de/db/conf/cp/cp2003.html#GentHRS03 %V 2833 %@ 3-540-20202-1

@inproceedings{conf/cp/GentHRS03, added-at = {2007-11-03T00:18:07.000+0100}, author = {Gent, Ian P. and Hoos, Holger H. and Rowley, Andrew G. D. and Smyth, Kevin}, biburl = {https://www.bibsonomy.org/bibtex/209313b1d083c1d95a9dedb95f9b1e324/bsmyth}, booktitle = {CP}, crossref = {conf/cp/2003}, date = {2003-11-19}, description = {dblp}, editor = {Rossi, Francesca}, ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2833&spage=348}, interhash = {91273c3107dceb566baf088135fbb98e}, intrahash = {09313b1d083c1d95a9dedb95f9b1e324}, isbn = {3-540-20202-1}, keywords = {dblp}, pages = {348-362}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2007-11-03T00:18:22.000+0100}, title = {Using Stochastic Local Search to Solve Quantified Boolean Formulae.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2003.html#GentHRS03}, volume = 2833, year = 2003 }