@inproceedings{Beyersdorff_2020,
doi = {10.1145/3373718.3394793},
url = {https://doi.org/10.1145%2F3373718.3394793},
year = {2020},
month = {jul},
publisher = {{ACM}},
author = {Olaf Beyersdorff and Joshua Blinkhorn and Meena Mahajan},
title = {Hardness Characterisations and Size-Width Lower Bounds for {QBF} Resolution},
booktitle = {Proceedings of the 35th Annual {ACM}/{IEEE} Symposium on Logic in Computer Science}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A