@misc{LiuLoefflerHofstedt2020, author = {Ke Liu and Sven L{\"o}ffler and Petra Hofstedt}, title = {Parallel Stochastic Portfolio Search for Constraint Solving}, booktitle = {2019 IEEE Intl Conf on Parallel \& Distributed Processing with Applications, Big Data \& Cloud Computing, Sustainable Computing \& Communications, Social Computing \& Networking (ISPA/BDCloud/SocialCom/SustainCom)}, isbn = {978-1-7281-4328-6}, doi = {10.1109/ISPA-BDCloud-SustainCom-SocialCom48970.2019.00106}, url = {https://ieeexplore.ieee.org/xpl/conhome/9036029/proceeding}, institution = {FG Programmiersprachen und Compilerbau}, type = {conferenceobject_ref}, pages = {697 -- 704}, year = {2020}, }