%0 Conference Paper %1 conf/lpar/LonsingBBES15 %A Lonsing, Florian %A Bacchus, Fahiem %A Biere, Armin %A Egly, Uwe %A Seidl, Martina %B LPAR %D 2015 %E Davis, Martin %E Fehnker, Ansgar %E McIver, Annabelle %E Voronkov, Andrei %I Springer %K %P 418-433 %T Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2015.html#LonsingBBES15 %V 9450 %@ 978-3-662-48898-0

@inproceedings{conf/lpar/LonsingBBES15, added-at = {2023-12-12T20:27:34.000+0100}, author = {Lonsing, Florian and Bacchus, Fahiem and Biere, Armin and Egly, Uwe and Seidl, Martina}, biburl = {https://www.bibsonomy.org/bibtex/2bcc4b7b76216b9c640e5aa4741c16901/admin}, booktitle = {LPAR}, crossref = {conf/lpar/2015}, editor = {Davis, Martin and Fehnker, Ansgar and McIver, Annabelle and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-662-48899-7_29}, interhash = {2f7fa2184edf3316399d031bf0a9f15f}, intrahash = {bcc4b7b76216b9c640e5aa4741c16901}, isbn = {978-3-662-48898-0}, keywords = {}, pages = {418-433}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:27:34.000+0100}, title = {Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2015.html#LonsingBBES15}, volume = 9450, year = 2015 }