Exploiting QBF Duality on a Circuit Representation