%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 %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 = {2023-12-13T04:01:47.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/admin}, booktitle = {CP}, crossref = {conf/cp/2003}, editor = {Rossi, Francesca}, ee = {https://doi.org/10.1007/978-3-540-45193-8_24}, interhash = {91273c3107dceb566baf088135fbb98e}, intrahash = {09313b1d083c1d95a9dedb95f9b1e324}, isbn = {3-540-20202-1}, keywords = {}, pages = {348-362}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:01:47.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 }