Published in: LIPIcs, Volume 271, 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, and Marijn J. H. Heule. Certified Knowledge Compilation with Application to Verified Model Counting. In 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 271, pp. 6:1-6:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{bryant_et_al:LIPIcs.SAT.2023.6, author = {Bryant, Randal E. and Nawrocki, Wojciech and Avigad, Jeremy and Heule, Marijn J. H.}, title = {{Certified Knowledge Compilation with Application to Verified Model Counting}}, booktitle = {26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)}, pages = {6:1--6:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-286-0}, ISSN = {1868-8969}, year = {2023}, volume = {271}, editor = {Mahajan, Meena and Slivovsky, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2023.6}, URN = {urn:nbn:de:0030-drops-184685}, doi = {10.4230/LIPIcs.SAT.2023.6}, annote = {Keywords: Propositional model counting, Proof checking} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Bernd Becker, Randal Bryant, and Christoph Meinel. Computer Aided Design and Test (Dagstuhl Seminar 9307). Dagstuhl Seminar Report 56, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1993)
@TechReport{becker_et_al:DagSemRep.56, author = {Becker, Bernd and Bryant, Randal and Meinel, Christoph}, title = {{Computer Aided Design and Test (Dagstuhl Seminar 9307)}}, pages = {1--24}, ISSN = {1619-0203}, year = {1993}, type = {Dagstuhl Seminar Report}, number = {56}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.56}, URN = {urn:nbn:de:0030-drops-149448}, doi = {10.4230/DagSemRep.56}, }
Feedback for Dagstuhl Publishing