@InProceedings{schreiber2021scalable,
  author       = {Schreiber, Dominik and Sanders, Peter},
  title        = {Scalable {SAT} Solving in the Cloud},
  booktitle    = {Int. Conf. on Theory and Applications of Satisfiability Testing (SAT)},
  year         = {2021},
  organization = {Springer},
  pages        = {518--534},
  doi          = {10.1007/978-3-030-80223-3_35},
	url_PDF={https://dominikschreiber.de/papers/2021-sat-scalable.pdf},
	url_Slides={https://dominikschreiber.de/slides/2021-sat-scalable.pdf},
	url_Video={https://youtu.be/DuM5hkSX-58}
}

{"_id":"hzYS6vkwQyL84LEki","bibbaseid":"schreiber-sanders-scalablesatsolvinginthecloud-2021","author_short":["Schreiber, D.","Sanders, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]},{"propositions":[],"lastnames":["Sanders"],"firstnames":["Peter"],"suffixes":[]}],"title":"Scalable SAT Solving in the Cloud","booktitle":"Int. Conf. on Theory and Applications of Satisfiability Testing (SAT)","year":"2021","organization":"Springer","pages":"518–534","doi":"10.1007/978-3-030-80223-3_35","url_pdf":"https://dominikschreiber.de/papers/2021-sat-scalable.pdf","url_slides":"https://dominikschreiber.de/slides/2021-sat-scalable.pdf","url_video":"https://youtu.be/DuM5hkSX-58","bibtex":"@InProceedings{schreiber2021scalable,\n author = {Schreiber, Dominik and Sanders, Peter},\n title = {Scalable {SAT} Solving in the Cloud},\n booktitle = {Int. Conf. on Theory and Applications of Satisfiability Testing (SAT)},\n year = {2021},\n organization = {Springer},\n pages = {518--534},\n doi = {10.1007/978-3-030-80223-3_35},\n\turl_PDF={https://dominikschreiber.de/papers/2021-sat-scalable.pdf},\n\turl_Slides={https://dominikschreiber.de/slides/2021-sat-scalable.pdf},\n\turl_Video={https://youtu.be/DuM5hkSX-58}\n}\n\n","author_short":["Schreiber, D.","Sanders, P."],"key":"schreiber2021scalable","id":"schreiber2021scalable","bibbaseid":"schreiber-sanders-scalablesatsolvinginthecloud-2021","role":"author","urls":{" pdf":"https://dominikschreiber.de/papers/2021-sat-scalable.pdf"," slides":"https://dominikschreiber.de/slides/2021-sat-scalable.pdf"," video":"https://youtu.be/DuM5hkSX-58"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dominikschreiber.de/share/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","fNbnZhh6uQMv7HBXF"],"keywords":[],"search_terms":["scalable","sat","solving","cloud","schreiber","sanders"],"title":"Scalable SAT Solving in the Cloud","year":2021}