ML Anthology

Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs

Olaf Beyersdorff, Benjamin Böhm, Meena Mahajan
AAAI 2024 pp. 7943-7951
doi:10.1609/AAAI.V38I8.28631 /aaai/2024/beyersdorff2024aaai-runtime/
AAAI Semantic Scholar

Cite

Text

Beyersdorff et al. "Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I8.28631

Markdown

[Beyersdorff et al. "Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/beyersdorff2024aaai-runtime/) doi:10.1609/AAAI.V38I8.28631

BibTeX

@inproceedings{beyersdorff2024aaai-runtime,
  title     = {{Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs}},
  author    = {Beyersdorff, Olaf and Böhm, Benjamin and Mahajan, Meena},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {7943-7951},
  doi       = {10.1609/AAAI.V38I8.28631},
  url       = {https://mlanthology.org/aaai/2024/beyersdorff2024aaai-runtime/}
}