@inproceedings{TUW-244602, author = {Lonsing, Florian and Bacchus, Fahiem and Biere, Armin and Egly, Uwe and Seidl, Martina}, title = {Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination}, booktitle = {Lecture Notes in Computer Science}, year = {2015}, pages = {418--433}, publisher = {Springer}, address = {9450}, doi = {10.1007/978-3-662-48899-7{\_}29}, note = {Vortrag: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Suva, Fiji; 2015-11-24 -- 2015-11-28} }