Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits.

Hans Kleine Bning, Xishun Zhao, Uwe Bubeck

Browse the full SAT paper archive.