%0 Conference Paper %1 conf/sat/Kochemazov20 %A Kochemazov, Stepan %B SAT %D 2020 %E Pulina, Luca %E Seidl, Martina %I Springer %K dblp %P 139-148 %T Improving Implementation of SAT Competitions 2017-2019 Winners. %U http://dblp.uni-trier.de/db/conf/sat/sat2020.html#Kochemazov20 %V 12178 %@ 978-3-030-51825-7

@inproceedings{conf/sat/Kochemazov20, added-at = {2020-07-02T00:00:00.000+0200}, author = {Kochemazov, Stepan}, biburl = {https://www.bibsonomy.org/bibtex/28b555d7c3d66565ca0993cc96fd03f87/dblp}, booktitle = {SAT}, crossref = {conf/sat/2020}, editor = {Pulina, Luca and Seidl, Martina}, ee = {https://doi.org/10.1007/978-3-030-51825-7_11}, interhash = {ffb930cf80115d2028367d7d3377f090}, intrahash = {8b555d7c3d66565ca0993cc96fd03f87}, isbn = {978-3-030-51825-7}, keywords = {dblp}, pages = {139-148}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-03T11:40:26.000+0200}, title = {Improving Implementation of SAT Competitions 2017-2019 Winners.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2020.html#Kochemazov20}, volume = 12178, year = 2020 }