@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},
	keywords={SAT, Distributed computing, Scheduling, Automated planning, Hierarchical planning},
}


%%% 2021 entries %%%

{"_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","keywords":"SAT, Distributed computing, Scheduling, Automated planning, Hierarchical planning","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\tkeywords={SAT, Distributed computing, Scheduling, Automated planning, Hierarchical planning},\n}\n\n\n%%% 2021 entries %%%\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"},"keyword":["SAT","Distributed computing","Scheduling","Automated planning","Hierarchical planning"],"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"unpublished","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":["sat","distributed computing","scheduling","automated planning","hierarchical planning"],"search_terms":["poster","scalable","satisfiability","based","problem","solving","schreiber","sanders"],"title":"(poster only) Scalable Satisfiability-based Problem Solving","year":2022,"downloads":1}