%0 Conference Paper %1 conf/atva/MarescottiHS16 %A Marescotti, Matteo %A Hyvärinen, Antti E. J. %A Sharygina, Natasha %B ATVA %D 2016 %E Artho, Cyrille %E Legay, Axel %E Peled, Doron %K dblp %P 428-443 %T Clause Sharing and Partitioning for Cloud-Based SMT Solving. %U http://dblp.uni-trier.de/db/conf/atva/atva2016.html#MarescottiHS16 %V 9938 %@ 978-3-319-46519-7

@inproceedings{conf/atva/MarescottiHS16, added-at = {2017-06-15T00:00:00.000+0200}, author = {Marescotti, Matteo and Hyvärinen, Antti E. J. and Sharygina, Natasha}, biburl = {https://www.bibsonomy.org/bibtex/2f5a20b155c1b1629ee5db8e540811844/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2016}, editor = {Artho, Cyrille and Legay, Axel and Peled, Doron}, ee = {https://doi.org/10.1007/978-3-319-46520-3_27}, interhash = {6ffda9c752222f211a8aeac2a8fbf0f6}, intrahash = {f5a20b155c1b1629ee5db8e540811844}, isbn = {978-3-319-46519-7}, keywords = {dblp}, pages = {428-443}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:53.000+0200}, title = {Clause Sharing and Partitioning for Cloud-Based SMT Solving.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2016.html#MarescottiHS16}, volume = 9938, year = 2016 }