@misc{indiciae6f9118d26934,
  title = {Small Resolution Proofs for QBF using Dependency Treewidth},
  author = {Eduard Eiben and Robert Ganian and Sebastian Ordyniak},
  year = {2017},
  url = {https://arxiv.org/abs/1711.02120},
  note = {Source identifier: 1711.02120}
}