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