%0 Conference Paper %1 conf/cade/BiereLS11 %A Biere, Armin %A Lonsing, Florian %A Seidl, Martina %B CADE %D 2011 %E Bjørner, Nikolaj %E Sofronie-Stokkermans, Viorica %I Springer %K %P 101-115 %T Blocked Clause Elimination for QBF. %U http://dblp.uni-trier.de/db/conf/cade/cade2011.html#BiereLS11 %V 6803 %@ 978-3-642-22437-9

@inproceedings{conf/cade/BiereLS11, added-at = {2023-12-12T17:13:37.000+0100}, author = {Biere, Armin and Lonsing, Florian and Seidl, Martina}, biburl = {https://www.bibsonomy.org/bibtex/2c033f0caec209a1a0befdb0f5cb064a9/admin}, booktitle = {CADE}, crossref = {conf/cade/2011}, editor = {Bjørner, Nikolaj and Sofronie-Stokkermans, Viorica}, ee = {https://doi.org/10.1007/978-3-642-22438-6_10}, interhash = {00972caa6123ac75a7e00439e4fe7c02}, intrahash = {c033f0caec209a1a0befdb0f5cb064a9}, isbn = {978-3-642-22437-9}, keywords = {}, pages = {101-115}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:13:37.000+0100}, title = {Blocked Clause Elimination for QBF.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2011.html#BiereLS11}, volume = 6803, year = 2011 }