TY  - RPRT
TI  - Small Resolution Proofs for QBF using Dependency Treewidth
AU  - Eduard Eiben
AU  - Robert Ganian
AU  - Sebastian Ordyniak
PY  - 2017
UR  - https://arxiv.org/abs/1711.02120
ID  - 1711.02120
ER  -