%0 Journal Article %1 journals/jair/PeitlSS19 %A Peitl, Tomás %A Slivovsky, Friedrich %A Szeider, Stefan %D 2019 %J J. Artif. Intell. Res. %K dblp %P 180-208 %T Dependency Learning for QBF. %U http://dblp.uni-trier.de/db/journals/jair/jair65.html#PeitlSS19 %V 65

@article{journals/jair/PeitlSS19, added-at = {2023-11-12T00:00:00.000+0100}, author = {Peitl, Tomás and Slivovsky, Friedrich and Szeider, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/203349f4e396be0160dff5ebf19dc83a4/dblp}, ee = {https://doi.org/10.1613/jair.1.11529}, interhash = {aaf3459aae33d8b2eba3c131d597f967}, intrahash = {03349f4e396be0160dff5ebf19dc83a4}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {180-208}, timestamp = {2024-04-08T20:02:45.000+0200}, title = {Dependency Learning for QBF.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair65.html#PeitlSS19}, volume = 65, year = 2019 }