%0 Conference Paper %1 conf/sat/CorziliusKJSA15 %A Corzilius, Florian %A Kremer, Gereon %A Junges, Sebastian %A Schupp, Stefan %A Ábrahám, Erika %B SAT %D 2015 %E Heule, Marijn %E Weaver, Sean A. %I Springer %K dblp %P 360-368 %T SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. %U http://dblp.uni-trier.de/db/conf/sat/sat2015.html#CorziliusKJSA15 %V 9340 %@ 978-3-319-24317-7

@inproceedings{conf/sat/CorziliusKJSA15, added-at = {2021-09-23T00:00:00.000+0200}, author = {Corzilius, Florian and Kremer, Gereon and Junges, Sebastian and Schupp, Stefan and Ábrahám, Erika}, biburl = {https://www.bibsonomy.org/bibtex/2667e1cf23d23dcff9edbfe0a2f525166/dblp}, booktitle = {SAT}, crossref = {conf/sat/2015}, editor = {Heule, Marijn and Weaver, Sean A.}, ee = {https://doi.org/10.1007/978-3-319-24318-4_26}, interhash = {a07264ff7269a289edb122b1f5044f30}, intrahash = {667e1cf23d23dcff9edbfe0a2f525166}, isbn = {978-3-319-24317-7}, keywords = {dblp}, pages = {360-368}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:01:45.000+0200}, title = {SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2015.html#CorziliusKJSA15}, volume = 9340, year = 2015 }