%0 Conference Paper %1 conf/sat/HyvarinenMS15 %A Hyvärinen, Antti E. J. %A Marescotti, Matteo %A Sharygina, Natasha %B SAT %D 2015 %E Heule, Marijn %E Weaver, Sean A. %I Springer %K dblp %P 369-386 %T Search-Space Partitioning for Parallelizing SMT Solvers. %U http://dblp.uni-trier.de/db/conf/sat/sat2015.html#HyvarinenMS15 %V 9340 %@ 978-3-319-24317-7

@inproceedings{conf/sat/HyvarinenMS15, added-at = {2017-06-15T00:00:00.000+0200}, author = {Hyvärinen, Antti E. J. and Marescotti, Matteo and Sharygina, Natasha}, biburl = {https://www.bibsonomy.org/bibtex/2ad2b29b9044b188176f5dfff8291e38f/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_27}, interhash = {e7b685eb385051e9da72786fed873b19}, intrahash = {ad2b29b9044b188176f5dfff8291e38f}, isbn = {978-3-319-24317-7}, keywords = {dblp}, pages = {369-386}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-22T11:54:42.000+0200}, title = {Search-Space Partitioning for Parallelizing SMT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2015.html#HyvarinenMS15}, volume = 9340, year = 2015 }