Expansion-Based QBF Solving Without Recursion.

Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl

Browse the full FMCAD paper archive.