@unpublished{schreiber2022helmholtz,
	title={(poster only) Scalable Satisfiability-based Problem Solving},
	author={Schreiber, Dominik and Sanders, Peter},
	note={Helmholtz AI Conference},
	year={2022},
	url_Poster={https://satres.kikit.kit.edu/posters/2022-helmholtz-scalable.pdf},
}

{"_id":"6aa9yt4WCBiW6qyPn","bibbaseid":"schreiber-sanders-posteronlyscalablesatisfiabilitybasedproblemsolving-2022","author_short":["Schreiber, D.","Sanders, P."],"bibdata":{"bibtype":"unpublished","type":"unpublished","title":"(poster only) Scalable Satisfiability-based Problem Solving","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]},{"propositions":[],"lastnames":["Sanders"],"firstnames":["Peter"],"suffixes":[]}],"note":"Helmholtz AI Conference","year":"2022","url_poster":"https://satres.kikit.kit.edu/posters/2022-helmholtz-scalable.pdf","bibtex":"@unpublished{schreiber2022helmholtz,\n\ttitle={(poster only) Scalable Satisfiability-based Problem Solving},\n\tauthor={Schreiber, Dominik and Sanders, Peter},\n\tnote={Helmholtz AI Conference},\n\tyear={2022},\n\turl_Poster={https://satres.kikit.kit.edu/posters/2022-helmholtz-scalable.pdf},\n}\n\n","author_short":["Schreiber, D.","Sanders, P."],"key":"schreiber2022helmholtz","id":"schreiber2022helmholtz","bibbaseid":"schreiber-sanders-posteronlyscalablesatisfiabilitybasedproblemsolving-2022","role":"author","urls":{" poster":"https://satres.kikit.kit.edu/posters/2022-helmholtz-scalable.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"unpublished","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":[],"search_terms":["poster","scalable","satisfiability","based","problem","solving","schreiber","sanders"],"title":"(poster only) Scalable Satisfiability-based Problem Solving","year":2022,"downloads":1}