@article{schreiber2024mallobsat,
	title={{MallobSat}: Scalable {SAT} Solving by Clause Sharing},
	author={Schreiber, Dominik and Sanders, Peter},
	journal={Journal of Artificial Intelligence Research (JAIR)},
	note={Presented at Pragmatics of SAT (PoS) 2024},
	year={2024},
	doi={10.1613/jair.1.15827},
	url_PDF={https://satres.kikit.kit.edu/papers/2024-jair-mallobsat.pdf},
	url_Slides={https://satres.kikit.kit.edu/slides/2024-jair-mallobsat.pdf},
}

{"_id":"Gff54NcQfcxxzcs9d","bibbaseid":"schreiber-sanders-mallobsatscalablesatsolvingbyclausesharing-2024","author_short":["Schreiber, D.","Sanders, P."],"bibdata":{"bibtype":"article","type":"article","title":"MallobSat: Scalable SAT Solving by Clause Sharing","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]},{"propositions":[],"lastnames":["Sanders"],"firstnames":["Peter"],"suffixes":[]}],"journal":"Journal of Artificial Intelligence Research (JAIR)","note":"Presented at Pragmatics of SAT (PoS) 2024","year":"2024","doi":"10.1613/jair.1.15827","url_pdf":"https://satres.kikit.kit.edu/papers/2024-jair-mallobsat.pdf","url_slides":"https://satres.kikit.kit.edu/slides/2024-jair-mallobsat.pdf","bibtex":"@article{schreiber2024mallobsat,\n\ttitle={{MallobSat}: Scalable {SAT} Solving by Clause Sharing},\n\tauthor={Schreiber, Dominik and Sanders, Peter},\n\tjournal={Journal of Artificial Intelligence Research (JAIR)},\n\tnote={Presented at Pragmatics of SAT (PoS) 2024},\n\tyear={2024},\n\tdoi={10.1613/jair.1.15827},\n\turl_PDF={https://satres.kikit.kit.edu/papers/2024-jair-mallobsat.pdf},\n\turl_Slides={https://satres.kikit.kit.edu/slides/2024-jair-mallobsat.pdf},\n}\n\n","author_short":["Schreiber, D.","Sanders, P."],"key":"schreiber2024mallobsat","id":"schreiber2024mallobsat","bibbaseid":"schreiber-sanders-mallobsatscalablesatsolvingbyclausesharing-2024","role":"author","urls":{" pdf":"https://satres.kikit.kit.edu/papers/2024-jair-mallobsat.pdf"," slides":"https://satres.kikit.kit.edu/slides/2024-jair-mallobsat.pdf"},"metadata":{"authorlinks":{}},"downloads":10,"html":""},"bibtype":"article","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","fNbnZhh6uQMv7HBXF","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":[],"search_terms":["mallobsat","scalable","sat","solving","clause","sharing","schreiber","sanders"],"title":"MallobSat: Scalable SAT Solving by Clause Sharing","year":2024,"downloads":10}