Albert Atserias, Moritz Müller. Automating Resolution is NP-Hard. In David Zuckerman, editor, 60th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2019, Baltimore, Maryland, USA, November 9-12, 2019. pages 498-509, IEEE Computer Society, 2019. [doi]
@inproceedings{AtseriasM19,
title = {Automating Resolution is NP-Hard},
author = {Albert Atserias and Moritz Müller},
year = {2019},
doi = {10.1109/FOCS.2019.00038},
url = {https://doi.org/10.1109/FOCS.2019.00038},
researchr = {https://researchr.org/publication/AtseriasM19},
cites = {0},
citedby = {0},
pages = {498-509},
booktitle = {60th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2019, Baltimore, Maryland, USA, November 9-12, 2019},
editor = {David Zuckerman},
publisher = {IEEE Computer Society},
isbn = {978-1-7281-4952-3},
}