@unpublished{schreiber2024trusted,
	title={Trusted Scalable {SAT} Solving with on-the-fly {LRAT} Checking},
	author={Schreiber, Dominik},
	note={{Int. Conf. on Theory and Applications of Satisfiability Testing (SAT)}, in press},
	year={2024},
	doi={10.4230/LIPIcs.SAT.2024.6},
	url_PDF={https://dominikschreiber.de/papers/2024-sat-trusted-pre.pdf},
}

{"_id":"nMAEcjT7NRxTpCAo7","bibbaseid":"schreiber-trustedscalablesatsolvingwithontheflylratchecking-2024","author_short":["Schreiber, D."],"bibdata":{"bibtype":"unpublished","type":"unpublished","title":"Trusted Scalable SAT Solving with on-the-fly LRAT Checking","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"note":"Int. Conf. on Theory and Applications of Satisfiability Testing (SAT), in press","year":"2024","doi":"10.4230/LIPIcs.SAT.2024.6","url_pdf":"https://dominikschreiber.de/papers/2024-sat-trusted-pre.pdf","bibtex":"@unpublished{schreiber2024trusted,\n\ttitle={Trusted Scalable {SAT} Solving with on-the-fly {LRAT} Checking},\n\tauthor={Schreiber, Dominik},\n\tnote={{Int. Conf. on Theory and Applications of Satisfiability Testing (SAT)}, in press},\n\tyear={2024},\n\tdoi={10.4230/LIPIcs.SAT.2024.6},\n\turl_PDF={https://dominikschreiber.de/papers/2024-sat-trusted-pre.pdf},\n}\n\n","author_short":["Schreiber, D."],"key":"schreiber2024trusted","id":"schreiber2024trusted","bibbaseid":"schreiber-trustedscalablesatsolvingwithontheflylratchecking-2024","role":"author","urls":{" pdf":"https://dominikschreiber.de/papers/2024-sat-trusted-pre.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"unpublished","biburl":"https://dominikschreiber.de/share/publications.bib","dataSources":["GbAhpS9MGKje2yeDe"],"keywords":[],"search_terms":["trusted","scalable","sat","solving","fly","lrat","checking","schreiber"],"title":"Trusted Scalable SAT Solving with on-the-fly LRAT Checking","year":2024}