Goultiaeva, A.; Bacchus, F. Exploiting QBF Duality on a Circuit Representation. AAAI 2010, 24, 71-76.