Scalable SAT Solving on Demand (Abstract). Schreiber, D. & Sanders, P. In Highlights of Parallel Computing (HOPC), pages 11–12, 2024.
![Scalable SAT Solving on Demand (Abstract) [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf Slides Poster doi bibtex 1 download
Pdf Slides Poster doi bibtex 1 download @inproceedings{schreiber2024hopc,
title={Scalable {SAT} Solving on Demand (Abstract)},
author={Schreiber, Dominik and Sanders, Peter},
booktitle={Highlights of Parallel Computing (HOPC)},
pages={11--12},
year={2024},
doi={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: 1
{"_id":"qEKmBc5H7XqZn8Jc7","bibbaseid":"schreiber-sanders-scalablesatsolvingondemandabstract-2024","author_short":["Schreiber, D.","Sanders, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Scalable SAT Solving on Demand (Abstract)","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]},{"propositions":[],"lastnames":["Sanders"],"firstnames":["Peter"],"suffixes":[]}],"booktitle":"Highlights of Parallel Computing (HOPC)","pages":"11–12","year":"2024","doi":"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":"@inproceedings{schreiber2024hopc,\n\ttitle={Scalable {SAT} Solving on Demand (Abstract)},\n\tauthor={Schreiber, Dominik and Sanders, Peter},\n\tbooktitle={Highlights of Parallel Computing (HOPC)},\n\tpages={11--12},\n\tyear={2024},\n\tdoi={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":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"https://dominikschreiber.de/satres-dbg//publications.bib","dataSources":["GbAhpS9MGKje2yeDe","JaqTjZbpCCeemC5uq"],"keywords":[],"search_terms":["scalable","sat","solving","demand","abstract","schreiber","sanders"],"title":"Scalable SAT Solving on Demand (Abstract)","year":2024,"downloads":1}