Trusted Scalable SAT Solving with on-the-fly LRAT Checking. Schreiber, D. In Int. Conf. on Theory and Applications of Satisfiability Testing (SAT), pages 25:1–25:19, 2024. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
![Trusted Scalable SAT Solving with on-the-fly LRAT Checking [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf Slides doi bibtex 3 downloads
Pdf Slides doi bibtex 3 downloads @inproceedings{schreiber2024trusted,
title={Trusted Scalable {SAT} Solving with on-the-fly {LRAT} Checking},
author={Schreiber, Dominik},
booktitle={Int. Conf. on Theory and Applications of Satisfiability Testing (SAT)},
year={2024},
pages={25:1--25:19},
organization={Schloss Dagstuhl -- Leibniz-Zentrum für Informatik},
doi={10.4230/LIPIcs.SAT.2024.25},
url_PDF={https://satres.kikit.kit.edu/papers/2024-sat-trusted.pdf},
url_Slides={https://satres.kikit.kit.edu/slides/2024-sat-trusted.pdf},
}Downloads: 3
{"_id":"nMAEcjT7NRxTpCAo7","bibbaseid":"schreiber-trustedscalablesatsolvingwithontheflylratchecking-2024","author_short":["Schreiber, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Trusted Scalable SAT Solving with on-the-fly LRAT Checking","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"booktitle":"Int. Conf. on Theory and Applications of Satisfiability Testing (SAT)","year":"2024","pages":"25:1–25:19","organization":"Schloss Dagstuhl – Leibniz-Zentrum für Informatik","doi":"10.4230/LIPIcs.SAT.2024.25","url_pdf":"https://satres.kikit.kit.edu/papers/2024-sat-trusted.pdf","url_slides":"https://satres.kikit.kit.edu/slides/2024-sat-trusted.pdf","bibtex":"@inproceedings{schreiber2024trusted,\n\ttitle={Trusted Scalable {SAT} Solving with on-the-fly {LRAT} Checking},\n\tauthor={Schreiber, Dominik},\n\tbooktitle={Int. Conf. on Theory and Applications of Satisfiability Testing (SAT)},\n\tyear={2024},\n\tpages={25:1--25:19},\n\torganization={Schloss Dagstuhl -- Leibniz-Zentrum für Informatik},\n\tdoi={10.4230/LIPIcs.SAT.2024.25},\n\turl_PDF={https://satres.kikit.kit.edu/papers/2024-sat-trusted.pdf},\n\turl_Slides={https://satres.kikit.kit.edu/slides/2024-sat-trusted.pdf},\n}\n\n","author_short":["Schreiber, D."],"key":"schreiber2024trusted","id":"schreiber2024trusted","bibbaseid":"schreiber-trustedscalablesatsolvingwithontheflylratchecking-2024","role":"author","urls":{" pdf":"https://satres.kikit.kit.edu/papers/2024-sat-trusted.pdf"," slides":"https://satres.kikit.kit.edu/slides/2024-sat-trusted.pdf"},"metadata":{"authorlinks":{}},"downloads":3,"html":""},"bibtype":"inproceedings","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":[],"search_terms":["trusted","scalable","sat","solving","fly","lrat","checking","schreiber"],"title":"Trusted Scalable SAT Solving with on-the-fly LRAT Checking","year":2024,"downloads":3}