%0 Conference Paper %1 conf/sat/MalitskySSS11 %A Malitsky, Yuri %A Sabharwal, Ashish %A Samulowitz, Horst %A Sellmann, Meinolf %B SAT %D 2011 %E Sakallah, Karem A. %E Simon, Laurent %I Springer %K dblp %P 369-370 %T Non-Model-Based Algorithm Portfolios for SAT. %U http://dblp.uni-trier.de/db/conf/sat/sat2011.html#MalitskySSS11 %V 6695 %@ 978-3-642-21580-3

@inproceedings{conf/sat/MalitskySSS11, added-at = {2017-05-23T00:00:00.000+0200}, author = {Malitsky, Yuri and Sabharwal, Ashish and Samulowitz, Horst and Sellmann, Meinolf}, biburl = {https://www.bibsonomy.org/bibtex/26c95ac5e201d24b8b9880aabdfce21a2/dblp}, booktitle = {SAT}, crossref = {conf/sat/2011}, editor = {Sakallah, Karem A. and Simon, Laurent}, ee = {https://doi.org/10.1007/978-3-642-21581-0_33}, interhash = {d89d82ce39245bae9d7ca2079baab7bd}, intrahash = {6c95ac5e201d24b8b9880aabdfce21a2}, isbn = {978-3-642-21580-3}, keywords = {dblp}, pages = {369-370}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:11:01.000+0200}, title = {Non-Model-Based Algorithm Portfolios for SAT.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2011.html#MalitskySSS11}, volume = 6695, year = 2011 }