%0 Journal Article %1 journals/corr/EglyLO15 %A Egly, Uwe %A Lonsing, Florian %A Oetsch, Johannes %D 2015 %J CoRR %K %T Automated Benchmarking of Incremental SAT and QBF Solvers. %U http://dblp.uni-trier.de/db/journals/corr/corr1506.html#EglyLO15 %V abs/1506.08563

@article{journals/corr/EglyLO15, added-at = {2023-12-13T02:04:32.000+0100}, author = {Egly, Uwe and Lonsing, Florian and Oetsch, Johannes}, biburl = {https://www.bibsonomy.org/bibtex/2214e64a28c7dcba8be0371e4bfc8daf7/admin}, ee = {http://arxiv.org/abs/1506.08563}, interhash = {7a886ab5d67a6c4eaf9497654669885c}, intrahash = {214e64a28c7dcba8be0371e4bfc8daf7}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T02:04:32.000+0100}, title = {Automated Benchmarking of Incremental SAT and QBF Solvers.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1506.html#EglyLO15}, volume = {abs/1506.08563}, year = 2015 }