%0 Journal Article %1 journals/ai/PulinaS19 %A Pulina, Luca %A Seidl, Martina %D 2019 %J Artif. Intell. %K dblp %P 224-248 %T The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17). %U http://dblp.uni-trier.de/db/journals/ai/ai274.html#PulinaS19 %V 274

@article{journals/ai/PulinaS19, added-at = {2019-06-13T00:00:00.000+0200}, author = {Pulina, Luca and Seidl, Martina}, biburl = {https://www.bibsonomy.org/bibtex/2e8aa2a7c0006e0653fae2170fed5d1ac/dblp}, ee = {https://doi.org/10.1016/j.artint.2019.04.002}, interhash = {2bf3f740b5db7d05b36c8e3716ef5f94}, intrahash = {e8aa2a7c0006e0653fae2170fed5d1ac}, journal = {Artif. Intell.}, keywords = {dblp}, pages = {224-248}, timestamp = {2019-06-14T11:38:03.000+0200}, title = {The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17).}, url = {http://dblp.uni-trier.de/db/journals/ai/ai274.html#PulinaS19}, volume = 274, year = 2019 }