%0 Conference Paper %1 conf/sat/SamulowitzRSS13 %A Samulowitz, Horst %A Reddy, Chandra %A Sabharwal, Ashish %A Sellmann, Meinolf %B SAT %D 2013 %E Järvisalo, Matti %E Gelder, Allen Van %I Springer %K dblp %P 422-428 %T Snappy: A Simple Algorithm Portfolio. %U http://dblp.uni-trier.de/db/conf/sat/sat2013.html#SamulowitzRSS13 %V 7962 %@ 978-3-642-39070-8

@inproceedings{conf/sat/SamulowitzRSS13, added-at = {2017-05-23T00:00:00.000+0200}, author = {Samulowitz, Horst and Reddy, Chandra and Sabharwal, Ashish and Sellmann, Meinolf}, biburl = {https://www.bibsonomy.org/bibtex/21c358152137f72d6562958336dfb7e2b/dblp}, booktitle = {SAT}, crossref = {conf/sat/2013}, editor = {Järvisalo, Matti and Gelder, Allen Van}, ee = {https://doi.org/10.1007/978-3-642-39071-5_33}, interhash = {3647d23d2bd13a87bc7c04c379926e16}, intrahash = {1c358152137f72d6562958336dfb7e2b}, isbn = {978-3-642-39070-8}, keywords = {dblp}, pages = {422-428}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:11:22.000+0200}, title = {Snappy: A Simple Algorithm Portfolio.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2013.html#SamulowitzRSS13}, volume = 7962, year = 2013 }