Beating Exhaustive Search for Quantified Boolean Formulas and Connections to Circuit Complexity.

Rahul Santhanam, Richard Ryan Williams

Browse the full SODA paper archive.