@unpublished{borowitz2024empirical,
	title={An Empirical Study on Learned Clause Overlaps in Distributed {SAT} Solving},
	author={Borowitz, Jannick and Schreiber, Dominik and Sanders, Peter},
	note={Pragmatics of SAT (PoS), to appear},
	year={2024},
	url_PDF={https://dominikschreiber.de/papers/2024-pos-empirical.pdf},
}

{"_id":"DEgwta7Mra8EER5kk","bibbaseid":"borowitz-schreiber-sanders-anempiricalstudyonlearnedclauseoverlapsindistributedsatsolving-2024","author_short":["Borowitz, J.","Schreiber, D.","Sanders, P."],"bibdata":{"bibtype":"unpublished","type":"unpublished","title":"An Empirical Study on Learned Clause Overlaps in Distributed SAT Solving","author":[{"propositions":[],"lastnames":["Borowitz"],"firstnames":["Jannick"],"suffixes":[]},{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]},{"propositions":[],"lastnames":["Sanders"],"firstnames":["Peter"],"suffixes":[]}],"note":"Pragmatics of SAT (PoS), to appear","year":"2024","url_pdf":"https://dominikschreiber.de/papers/2024-pos-empirical.pdf","bibtex":"@unpublished{borowitz2024empirical,\n\ttitle={An Empirical Study on Learned Clause Overlaps in Distributed {SAT} Solving},\n\tauthor={Borowitz, Jannick and Schreiber, Dominik and Sanders, Peter},\n\tnote={Pragmatics of SAT (PoS), to appear},\n\tyear={2024},\n\turl_PDF={https://dominikschreiber.de/papers/2024-pos-empirical.pdf},\n}\n","author_short":["Borowitz, J.","Schreiber, D.","Sanders, P."],"key":"borowitz2024empirical","id":"borowitz2024empirical","bibbaseid":"borowitz-schreiber-sanders-anempiricalstudyonlearnedclauseoverlapsindistributedsatsolving-2024","role":"author","urls":{" pdf":"https://dominikschreiber.de/papers/2024-pos-empirical.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"unpublished","biburl":"https://dominikschreiber.de/share/publications.bib","dataSources":["GbAhpS9MGKje2yeDe"],"keywords":[],"search_terms":["empirical","study","learned","clause","overlaps","distributed","sat","solving","borowitz","schreiber","sanders"],"title":"An Empirical Study on Learned Clause Overlaps in Distributed SAT Solving","year":2024,"downloads":1}