Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation.

Florian Lonsing, Uwe Egly, Allen Van Gelder

Browse the full SAT paper archive.