Small Resolution Proofs for QBF using Dependency Treewidth.

Eduard Eiben, Robert Ganian, Sebastian Ordyniak

Browse the full STACS paper archive.