"Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo ..."

Florian Lonsing, Uwe Egly, Allen Van Gelder (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics