A. Goultiaeva and F. Bacchus, “Exploiting QBF Duality on a Circuit Representation”, AAAI, vol. 24, no. 1, pp. 71-76, Jul. 2010.