Knowledge Processing and Information Systems TE-ETH: Lower Bounds for QBFs of Bounded Treewidth
@article{DBLP:journals/corr/abs-1910-01047,
title = {{TE-ETH:} Lower Bounds for QBFs of Bounded Treewidth},
author = {Fichte, Johannes Klaus and Hecher, Markus and Pfandler, Andreas},
journal = {CoRR},
volume = {abs/1910.01047},
year = {2019}
}