Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination.

Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl

Browse the full LPAR paper archive.