%0 Journal Article %1 journals/jsat/Lonsing19 %A Lonsing, Florian %D 2019 %J J. Satisf. Boolean Model. Comput. %K dblp %N 1 %P 211-220 %T QBFRelay, QRATPre+, and DepQBF: Incremental Preprocessing Meets Search-Based QBF Solving. %U http://dblp.uni-trier.de/db/journals/jsat/jsat11.html#Lonsing19 %V 11

@article{journals/jsat/Lonsing19, added-at = {2020-02-26T00:00:00.000+0100}, author = {Lonsing, Florian}, biburl = {https://www.bibsonomy.org/bibtex/2c15f652afafa06de8d56c44e8c619a42/dblp}, ee = {https://doi.org/10.3233/SAT190122}, interhash = {d13acc72b515e7f3c7e4a004c832b31f}, intrahash = {c15f652afafa06de8d56c44e8c619a42}, journal = {J. Satisf. Boolean Model. Comput.}, keywords = {dblp}, number = 1, pages = {211-220}, timestamp = {2020-02-27T11:39:26.000+0100}, title = {QBFRelay, QRATPre+, and DepQBF: Incremental Preprocessing Meets Search-Based QBF Solving.}, url = {http://dblp.uni-trier.de/db/journals/jsat/jsat11.html#Lonsing19}, volume = 11, year = 2019 }