QCDCL vs QBF Resolution: Further Insights

JAIR 2024 pp. 741-769

doi:10.1613/JAIR.1.15522 /jair/2024/bohm2024jair-qcdcl/

Cite

Text

Böhm and Beyersdorff. "QCDCL vs QBF Resolution: Further Insights." Journal of Artificial Intelligence Research, 2024. doi:10.1613/JAIR.1.15522

Markdown

[Böhm and Beyersdorff. "QCDCL vs QBF Resolution: Further Insights." Journal of Artificial Intelligence Research, 2024.](https://mlanthology.org/jair/2024/bohm2024jair-qcdcl/) doi:10.1613/JAIR.1.15522

BibTeX

@article{bohm2024jair-qcdcl,
  title     = {{QCDCL vs QBF Resolution: Further Insights}},
  author    = {Böhm, Benjamin and Beyersdorff, Olaf},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {2024},
  pages     = {741-769},
  doi       = {10.1613/JAIR.1.15522},
  volume    = {81},
  url       = {https://mlanthology.org/jair/2024/bohm2024jair-qcdcl/}
}