Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth. Using Stochastic Local Search to Solve Quantified Boolean Formulae. In Francesca Rossi, editor, Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings. Volume 2833 of Lecture Notes in Computer Science, pages 348-362, Springer, 2003. [doi]
@inproceedings{GentHRS03,
title = {Using Stochastic Local Search to Solve Quantified Boolean Formulae},
author = {Ian P. Gent and Holger H. Hoos and Andrew G. D. Rowley and Kevin Smyth},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2833&spage=348},
tags = {search},
researchr = {https://researchr.org/publication/GentHRS03},
cites = {0},
citedby = {0},
pages = {348-362},
booktitle = {Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings},
editor = {Francesca Rossi},
volume = {2833},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20202-1},
}