%0 Conference Paper %1 conf/cp/Rowley03 %A Rowley, Andrew G. D. %B CP %D 2003 %E Rossi, Francesca %I Springer %K dblp %P 994 %T Watching Clauses in Quantified Boolean Formulae. %U http://dblp.uni-trier.de/db/conf/cp/cp2003.html#Rowley03 %V 2833 %@ 3-540-20202-1

@inproceedings{conf/cp/Rowley03, added-at = {2017-05-17T00:00:00.000+0200}, author = {Rowley, Andrew G. D.}, biburl = {https://www.bibsonomy.org/bibtex/2d0bd435f4b16f7d3834e4a90ac7eea18/dblp}, booktitle = {CP}, crossref = {conf/cp/2003}, editor = {Rossi, Francesca}, ee = {https://doi.org/10.1007/978-3-540-45193-8_118}, interhash = {a7cacf4be9f32630407951d4aca6abd4}, intrahash = {d0bd435f4b16f7d3834e4a90ac7eea18}, isbn = {3-540-20202-1}, keywords = {dblp}, pages = 994, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T22:50:01.000+0200}, title = {Watching Clauses in Quantified Boolean Formulae.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2003.html#Rowley03}, volume = 2833, year = 2003 }