Published May 24, 2023
| Version v1
Other
Open
Supplement to Certified Knowledge Compilation with Application to Verified Model Counting
- 1. Carnegie Mellon University
Description
This document is a supplement to the paper "Certified Knowledge Compilation with Applications to Verified Model Counting"
published at the 2023 Conference on Theory and Applications of SAT Testing (SAT). It contains the following:
- A worked example generating a certified representation of a CNF formula
- More description of some optimizations
- More information about the formal verification
- Detailed experiemental results
Files
bryant-sat23-supplement.pdf
Files
(651.6 kB)
Name | Size | Download all |
---|---|---|
md5:9b30ec62133e79eb20388adbf982c4fa
|
651.6 kB | Preview Download |
Additional details
Funding
- SHF : Small: Certified Automated Reasoning with BDDs (CARB) 2108521
- National Science Foundation