@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://satres.kikit.kit.edu/papers/2024-hopc-scalable.pdf},
	url_Slides={https://satres.kikit.kit.edu/slides/2024-hopc-scalable.pdf},
	url_Poster={https://satres.kikit.kit.edu/posters/2024-hopc-scalable.pdf},
}

{"_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://satres.kikit.kit.edu/papers/2024-hopc-scalable.pdf","url_slides":"https://satres.kikit.kit.edu/slides/2024-hopc-scalable.pdf","url_poster":"https://satres.kikit.kit.edu/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://satres.kikit.kit.edu/papers/2024-hopc-scalable.pdf},\n\turl_Slides={https://satres.kikit.kit.edu/slides/2024-hopc-scalable.pdf},\n\turl_Poster={https://satres.kikit.kit.edu/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://satres.kikit.kit.edu/papers/2024-hopc-scalable.pdf"," slides":"https://satres.kikit.kit.edu/slides/2024-hopc-scalable.pdf"," poster":"https://satres.kikit.kit.edu/posters/2024-hopc-scalable.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":[],"search_terms":["scalable","sat","solving","demand","abstract","schreiber","sanders"],"title":"Scalable SAT Solving on Demand (Abstract)","year":2024,"downloads":2}