%0 Conference Paper %1 conf/cp/MalitskySSS12 %A Malitsky, Yuri %A Sabharwal, Ashish %A Samulowitz, Horst %A Sellmann, Meinolf %B CP %D 2012 %E Milano, Michela %I Springer %K dblp %P 512-526 %T Parallel SAT Solver Selection and Scheduling. %U http://dblp.uni-trier.de/db/conf/cp/cp2012.html#MalitskySSS12 %V 7514 %@ 978-3-642-33557-0

@inproceedings{conf/cp/MalitskySSS12, added-at = {2017-05-17T00:00:00.000+0200}, author = {Malitsky, Yuri and Sabharwal, Ashish and Samulowitz, Horst and Sellmann, Meinolf}, biburl = {https://www.bibsonomy.org/bibtex/286cf186846fd4280daac893aaff1bf22/dblp}, booktitle = {CP}, crossref = {conf/cp/2012}, editor = {Milano, Michela}, ee = {https://doi.org/10.1007/978-3-642-33558-7_38}, interhash = {d49d03eb4cc6fd1eaf243142cc51e7db}, intrahash = {86cf186846fd4280daac893aaff1bf22}, isbn = {978-3-642-33557-0}, keywords = {dblp}, pages = {512-526}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:19:00.000+0200}, title = {Parallel SAT Solver Selection and Scheduling.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2012.html#MalitskySSS12}, volume = 7514, year = 2012 }