Dependency Learning for QBF

Tomás Peitl, Friedrich Slivovsky, Stefan Szeider

JAIR 2019 pp. 180-208

doi:10.1613/JAIR.1.11529 /jair/2019/peitl2019jair-dependency/

Cite

Text

Peitl et al. "Dependency Learning for QBF." Journal of Artificial Intelligence Research, 2019. doi:10.1613/JAIR.1.11529

Markdown

[Peitl et al. "Dependency Learning for QBF." Journal of Artificial Intelligence Research, 2019.](https://mlanthology.org/jair/2019/peitl2019jair-dependency/) doi:10.1613/JAIR.1.11529

BibTeX

@article{peitl2019jair-dependency,
  title     = {{Dependency Learning for QBF}},
  author    = {Peitl, Tomás and Slivovsky, Friedrich and Szeider, Stefan},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {2019},
  pages     = {180-208},
  doi       = {10.1613/JAIR.1.11529},
  volume    = {65},
  url       = {https://mlanthology.org/jair/2019/peitl2019jair-dependency/}
}