Scalable SAT Solving on Demand (Abstract). Schreiber, D. & Sanders, P. 2024. Highlights of Parallel Computing (HOPC), in press
![Scalable SAT Solving on Demand (Abstract) [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf Slides Poster doi bibtex
Pdf Slides Poster doi bibtex @unpublished{schreiber2024hopc,
title={Scalable {SAT} Solving on Demand (Abstract)},
author={Schreiber, Dominik and Sanders, Peter},
note={{Highlights of Parallel Computing (HOPC)}, in press},
year={2024},
doi={https://doi.org/10.1145/3670684.3673414},
url_PDF={https://dominikschreiber.de/papers/2024-hopc-scalable.pdf},
url_Slides={https://dominikschreiber.de/slides/2024-hopc-scalable.pdf},
url_Poster={https://dominikschreiber.de/posters/2024-hopc-scalable.pdf},
}Downloads: 0
{"_id":"qEKmBc5H7XqZn8Jc7","bibbaseid":"schreiber-sanders-scalablesatsolvingondemandabstract-2024","author_short":["Schreiber, D.","Sanders, P."],"bibdata":{"bibtype":"unpublished","type":"unpublished","title":"Scalable SAT Solving on Demand (Abstract)","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]},{"propositions":[],"lastnames":["Sanders"],"firstnames":["Peter"],"suffixes":[]}],"note":"Highlights of Parallel Computing (HOPC), in press","year":"2024","doi":"https://doi.org/10.1145/3670684.3673414","url_pdf":"https://dominikschreiber.de/papers/2024-hopc-scalable.pdf","url_slides":"https://dominikschreiber.de/slides/2024-hopc-scalable.pdf","url_poster":"https://dominikschreiber.de/posters/2024-hopc-scalable.pdf","bibtex":"@unpublished{schreiber2024hopc,\n\ttitle={Scalable {SAT} Solving on Demand (Abstract)},\n\tauthor={Schreiber, Dominik and Sanders, Peter},\n\tnote={{Highlights of Parallel Computing (HOPC)}, in press},\n\tyear={2024},\n\tdoi={https://doi.org/10.1145/3670684.3673414},\n\turl_PDF={https://dominikschreiber.de/papers/2024-hopc-scalable.pdf},\n\turl_Slides={https://dominikschreiber.de/slides/2024-hopc-scalable.pdf},\n\turl_Poster={https://dominikschreiber.de/posters/2024-hopc-scalable.pdf},\n}\n\n","author_short":["Schreiber, D.","Sanders, P."],"key":"schreiber2024hopc","id":"schreiber2024hopc","bibbaseid":"schreiber-sanders-scalablesatsolvingondemandabstract-2024","role":"author","urls":{" pdf":"https://dominikschreiber.de/papers/2024-hopc-scalable.pdf"," slides":"https://dominikschreiber.de/slides/2024-hopc-scalable.pdf"," poster":"https://dominikschreiber.de/posters/2024-hopc-scalable.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"unpublished","biburl":"https://dominikschreiber.de/share/publications.bib","dataSources":["GbAhpS9MGKje2yeDe"],"keywords":[],"search_terms":["scalable","sat","solving","demand","abstract","schreiber","sanders"],"title":"Scalable SAT Solving on Demand (Abstract)","year":2024}