@unpublished{schreiber2024mallob,
	title={{MallobSat} and {MallobSat-ImpCheck} in the {SAT} Competition 2024},
	author={Schreiber, Dominik},
	note={{International SAT Competition 2024: Solver and Benchmark Descriptions}, to appear},
	year={2024},
	url_PDF={https://satres.kikit.kit.edu/papers/2024-mallob.pdf},
}

{"_id":"oD6EqZJnsXgWetCE4","bibbaseid":"schreiber-mallobsatandmallobsatimpcheckinthesatcompetition2024-2024","author_short":["Schreiber, D."],"bibdata":{"bibtype":"unpublished","type":"unpublished","title":"MallobSat and MallobSat-ImpCheck in the SAT Competition 2024","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"note":"International SAT Competition 2024: Solver and Benchmark Descriptions, to appear","year":"2024","url_pdf":"https://satres.kikit.kit.edu/papers/2024-mallob.pdf","bibtex":"@unpublished{schreiber2024mallob,\n\ttitle={{MallobSat} and {MallobSat-ImpCheck} in the {SAT} Competition 2024},\n\tauthor={Schreiber, Dominik},\n\tnote={{International SAT Competition 2024: Solver and Benchmark Descriptions}, to appear},\n\tyear={2024},\n\turl_PDF={https://satres.kikit.kit.edu/papers/2024-mallob.pdf},\n}\n\n","author_short":["Schreiber, D."],"key":"schreiber2024mallob","id":"schreiber2024mallob","bibbaseid":"schreiber-mallobsatandmallobsatimpcheckinthesatcompetition2024-2024","role":"author","urls":{" pdf":"https://satres.kikit.kit.edu/papers/2024-mallob.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"unpublished","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","fNbnZhh6uQMv7HBXF","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":[],"search_terms":["mallobsat","mallobsat","impcheck","sat","competition","2024","schreiber"],"title":"MallobSat and MallobSat-ImpCheck in the SAT Competition 2024","year":2024,"downloads":1}