Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl: Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination. LPAR 2015: 418-433