@unpublished{schreiber2024mallobsat,
	title={{MallobSat}: Scalable {SAT} Solving by Clause Sharing},
	author={Schreiber, Dominik and Sanders, Peter},
	note={{Journal of Artificial Intelligence Research (JAIR)}, in press; to be presented at Pragmatics of SAT (PoS) '24},
	year={2024},
	url_PDF={https://dominikschreiber.de/papers/2024-jair-mallobsat-pre.pdf},
}

{"_id":"Gff54NcQfcxxzcs9d","bibbaseid":"schreiber-sanders-mallobsatscalablesatsolvingbyclausesharing-2024","author_short":["Schreiber, D.","Sanders, P."],"bibdata":{"bibtype":"unpublished","type":"unpublished","title":"MallobSat: Scalable SAT Solving by Clause Sharing","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]},{"propositions":[],"lastnames":["Sanders"],"firstnames":["Peter"],"suffixes":[]}],"note":"Journal of Artificial Intelligence Research (JAIR), in press; to be presented at Pragmatics of SAT (PoS) '24","year":"2024","url_pdf":"https://dominikschreiber.de/papers/2024-jair-mallobsat-pre.pdf","bibtex":"@unpublished{schreiber2024mallobsat,\n\ttitle={{MallobSat}: Scalable {SAT} Solving by Clause Sharing},\n\tauthor={Schreiber, Dominik and Sanders, Peter},\n\tnote={{Journal of Artificial Intelligence Research (JAIR)}, in press; to be presented at Pragmatics of SAT (PoS) '24},\n\tyear={2024},\n\turl_PDF={https://dominikschreiber.de/papers/2024-jair-mallobsat-pre.pdf},\n}\n\n","author_short":["Schreiber, D.","Sanders, P."],"key":"schreiber2024mallobsat","id":"schreiber2024mallobsat","bibbaseid":"schreiber-sanders-mallobsatscalablesatsolvingbyclausesharing-2024","role":"author","urls":{" pdf":"https://dominikschreiber.de/papers/2024-jair-mallobsat-pre.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"unpublished","biburl":"https://dominikschreiber.de/share/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","fNbnZhh6uQMv7HBXF"],"keywords":[],"search_terms":["mallobsat","scalable","sat","solving","clause","sharing","schreiber","sanders"],"title":"MallobSat: Scalable SAT Solving by Clause Sharing","year":2024,"downloads":1}