An Empirical Study on Learned Clause Overlaps in Distributed SAT Solving. Borowitz, J., Schreiber, D., & Sanders, P. In Pragmatics of SAT (PoS), 2024.
![An Empirical Study on Learned Clause Overlaps in Distributed SAT Solving [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf Slides bibtex 2 downloads
Pdf Slides bibtex 2 downloads @inproceedings{borowitz2024empirical,
title={An Empirical Study on Learned Clause Overlaps in Distributed {SAT} Solving},
author={Borowitz, Jannick and Schreiber, Dominik and Sanders, Peter},
booktitle={Pragmatics of SAT (PoS)},
year={2024},
url_PDF={https://satres.kikit.kit.edu/papers/2024-pos-empirical.pdf},
url_Slides={https://satres.kikit.kit.edu/slides/2024-pos-empirical.pdf},
}Downloads: 2
{"_id":"DEgwta7Mra8EER5kk","bibbaseid":"borowitz-schreiber-sanders-anempiricalstudyonlearnedclauseoverlapsindistributedsatsolving-2024","author_short":["Borowitz, J.","Schreiber, D.","Sanders, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[]}],"booktitle":"Pragmatics of SAT (PoS)","year":"2024","url_pdf":"https://satres.kikit.kit.edu/papers/2024-pos-empirical.pdf","url_slides":"https://satres.kikit.kit.edu/slides/2024-pos-empirical.pdf","bibtex":"@inproceedings{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\tbooktitle={Pragmatics of SAT (PoS)},\n\tyear={2024},\n\turl_PDF={https://satres.kikit.kit.edu/papers/2024-pos-empirical.pdf},\n\turl_Slides={https://satres.kikit.kit.edu/slides/2024-pos-empirical.pdf},\n}\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://satres.kikit.kit.edu/papers/2024-pos-empirical.pdf"," slides":"https://satres.kikit.kit.edu/slides/2024-pos-empirical.pdf"},"metadata":{"authorlinks":{}},"downloads":2,"html":""},"bibtype":"inproceedings","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"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":2}