Knowledge Processing and Information Systems
Lower Bounds for QBFs of Bounded Treewidth

@inproceedings{DBLP:conf/lics/FichteHP20,
  author = {Fichte, Johannes Klaus and Hecher, Markus and Pfandler, Andreas},
  title = {Lower Bounds for QBFs of Bounded Treewidth},
  booktitle = {{LICS}},
  pages = {410--424},
  publisher = {{ACM}},
  year = {2020}
}