%0 Conference Paper %1 conf/sat/HyvarinenMAS16 %A Hyvärinen, Antti E. J. %A Marescotti, Matteo %A Alt, Leonardo %A Sharygina, Natasha %B SAT %D 2016 %E Creignou, Nadia %E Berre, Daniel Le %I Springer %K dblp %P 547-553 %T OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. %U http://dblp.uni-trier.de/db/conf/sat/sat2016.html#HyvarinenMAS16 %V 9710 %@ 978-3-319-40969-6

@inproceedings{conf/sat/HyvarinenMAS16, added-at = {2017-06-15T00:00:00.000+0200}, author = {Hyvärinen, Antti E. J. and Marescotti, Matteo and Alt, Leonardo and Sharygina, Natasha}, biburl = {https://www.bibsonomy.org/bibtex/2fb284e163c3d4006d1973859a5faa950/dblp}, booktitle = {SAT}, crossref = {conf/sat/2016}, editor = {Creignou, Nadia and Berre, Daniel Le}, ee = {https://doi.org/10.1007/978-3-319-40970-2_35}, interhash = {f60195ec2c3867375c9879b40ccdd71d}, intrahash = {fb284e163c3d4006d1973859a5faa950}, isbn = {978-3-319-40969-6}, keywords = {dblp}, pages = {547-553}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:11:16.000+0200}, title = {OpenSMT2: An SMT Solver for Multi-core and Cloud Computing.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2016.html#HyvarinenMAS16}, volume = 9710, year = 2016 }