Schleitzer and Beyersdorff. "Classes of Hard Formulas for QBF Resolution." Journal of Artificial Intelligence Research, 2023. doi:10.1613/JAIR.1.14710
Markdown
[Schleitzer and Beyersdorff. "Classes of Hard Formulas for QBF Resolution." Journal of Artificial Intelligence Research, 2023.](https://mlanthology.org/jair/2023/schleitzer2023jair-classes/) doi:10.1613/JAIR.1.14710
BibTeX
@article{schleitzer2023jair-classes,
title = {{Classes of Hard Formulas for QBF Resolution}},
author = {Schleitzer, Agnes and Beyersdorff, Olaf},
journal = {Journal of Artificial Intelligence Research},
year = {2023},
pages = {1455-1487},
doi = {10.1613/JAIR.1.14710},
volume = {77},
url = {https://mlanthology.org/jair/2023/schleitzer2023jair-classes/}
}