QBF Resolution Systems and Their Proof Complexities.

Valeriy Balabanov, Magdalena Widl, Jie-Hong R. Jiang

Browse the full SAT paper archive.