@misc{schreiber2026from,
	title={From Distributed {SAT} to Distributed {SMT}? Successes and Challenges},
	author={Schreiber, Dominik},
	note={Invited talk at SMT Workshop 2026},
	year={2026},
	keywords={Presentation, SAT, SMT, Distributed computing, Scheduling, Proofs of unsatisfiability},
	url_Slides={https://satres.kikit.kit.edu/slides/2026-smtworkshop.pdf}
}

{"_id":"KgkD6ZvLcJwPWoPkM","bibbaseid":"schreiber-fromdistributedsattodistributedsmtsuccessesandchallenges-2026","author_short":["Schreiber, D."],"bibdata":{"bibtype":"misc","type":"misc","title":"From Distributed SAT to Distributed SMT? Successes and Challenges","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"note":"Invited talk at SMT Workshop 2026","year":"2026","keywords":"Presentation, SAT, SMT, Distributed computing, Scheduling, Proofs of unsatisfiability","url_slides":"https://satres.kikit.kit.edu/slides/2026-smtworkshop.pdf","bibtex":"@misc{schreiber2026from,\n\ttitle={From Distributed {SAT} to Distributed {SMT}? Successes and Challenges},\n\tauthor={Schreiber, Dominik},\n\tnote={Invited talk at SMT Workshop 2026},\n\tyear={2026},\n\tkeywords={Presentation, SAT, SMT, Distributed computing, Scheduling, Proofs of unsatisfiability},\n\turl_Slides={https://satres.kikit.kit.edu/slides/2026-smtworkshop.pdf}\n}\n","author_short":["Schreiber, D."],"key":"schreiber2026from","id":"schreiber2026from","bibbaseid":"schreiber-fromdistributedsattodistributedsmtsuccessesandchallenges-2026","role":"author","urls":{" slides":"https://satres.kikit.kit.edu/slides/2026-smtworkshop.pdf"},"keyword":["Presentation","SAT","SMT","Distributed computing","Scheduling","Proofs of unsatisfiability"],"metadata":{"authorlinks":{}},"downloads":2,"html":""},"bibtype":"misc","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["6oCu7DG43gGpaCnhj"],"keywords":["presentation","sat","smt","distributed computing","scheduling","proofs of unsatisfiability"],"search_terms":["distributed","sat","distributed","smt","successes","challenges","schreiber"],"title":"From Distributed SAT to Distributed SMT? Successes and Challenges","year":2026,"downloads":2}