%0 Conference Paper %1 conf/lics/FichteHP20 %A Fichte, Johannes Klaus %A Hecher, Markus %A Pfandler, Andreas %B LICS %D 2020 %E Hermanns, Holger %E Zhang, Lijun %E Kobayashi, Naoki %E Miller, Dale %I ACM %K dblp %P 410-424 %T Lower Bounds for QBFs of Bounded Treewidth. %U http://dblp.uni-trier.de/db/conf/lics/lics2020.html#FichteHP20 %@ 978-1-4503-7104-9

@inproceedings{conf/lics/FichteHP20, added-at = {2020-06-02T00:00:00.000+0200}, author = {Fichte, Johannes Klaus and Hecher, Markus and Pfandler, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/21c3324371fbe44f4b8d3a067dc2679bd/dblp}, booktitle = {LICS}, crossref = {conf/lics/2020}, editor = {Hermanns, Holger and Zhang, Lijun and Kobayashi, Naoki and Miller, Dale}, ee = {https://doi.org/10.1145/3373718.3394756}, interhash = {af39e692da2c26f1b2feffd5b73823d4}, intrahash = {1c3324371fbe44f4b8d3a067dc2679bd}, isbn = {978-1-4503-7104-9}, keywords = {dblp}, pages = {410-424}, publisher = {ACM}, timestamp = {2024-04-09T13:16:48.000+0200}, title = {Lower Bounds for QBFs of Bounded Treewidth.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2020.html#FichteHP20}, year = 2020 }