%0 Journal Article %1 journals/corr/LonsingE17a %A Lonsing, Florian %A Egly, Uwe %D 2017 %J CoRR %K %T DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL. %U http://dblp.uni-trier.de/db/journals/corr/corr1702.html#LonsingE17a %V abs/1702.08256

@article{journals/corr/LonsingE17a, added-at = {2023-12-13T05:50:23.000+0100}, author = {Lonsing, Florian and Egly, Uwe}, biburl = {https://www.bibsonomy.org/bibtex/2768992e0a617987b8042cee29a607ebf/admin}, ee = {http://arxiv.org/abs/1702.08256}, interhash = {a728c7cb638a0a59881313812fc2739e}, intrahash = {768992e0a617987b8042cee29a607ebf}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T05:50:23.000+0100}, title = {DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1702.html#LonsingE17a}, volume = {abs/1702.08256}, year = 2017 }