A Duality-Aware Calculus for Quantified Boolean Formulas.

Katalin Fazekas, Martina Seidl, Armin Biere

Browse the full SYNASC paper archive.