%0 Conference Paper %1 conf/sat/GentGNRT03 %A Gent, Ian P. %A Giunchiglia, Enrico %A Narizzano, Massimo %A Rowley, Andrew G. D. %A Tacchella, Armando %B SAT %D 2003 %E Giunchiglia, Enrico %E Tacchella, Armando %I Springer %K dblp %P 25-36 %T Watched Data Structures for QBF Solvers. %U http://dblp.uni-trier.de/db/conf/sat/sat2003.html#GentGNRT03 %V 2919 %@ 3-540-20851-8

@inproceedings{conf/sat/GentGNRT03, added-at = {2022-10-02T00:00:00.000+0200}, author = {Gent, Ian P. and Giunchiglia, Enrico and Narizzano, Massimo and Rowley, Andrew G. D. and Tacchella, Armando}, biburl = {https://www.bibsonomy.org/bibtex/21b1a5a286ba7fa5c726415d6dfea550e/dblp}, booktitle = {SAT}, crossref = {conf/sat/2003}, editor = {Giunchiglia, Enrico and Tacchella, Armando}, ee = {https://doi.org/10.1007/978-3-540-24605-3_3}, interhash = {d59986423f6368f6668318e8c8190ea9}, intrahash = {1b1a5a286ba7fa5c726415d6dfea550e}, isbn = {3-540-20851-8}, keywords = {dblp}, pages = {25-36}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:01:34.000+0200}, title = {Watched Data Structures for QBF Solvers.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2003.html#GentGNRT03}, volume = 2919, year = 2003 }