Supplement to Certified Knowledge Compilation with Application to Verified Model Counting

appsOther research productkeyboard_double_arrow_right Other ORP type , Other literature type 24 May 2023 English Publisher:ZenodoFunded by:NSF | SHF : Small: Certified Au...

Authors: Bryant, Randal E.; Nawrocki, Wojciech; Avigad, Jeremy; Heule, Marjin J. H.;

doi: 10.5281/zenodo.7966174 , 10.5281/zenodo.7966173

Supplement to Certified Knowledge Compilation with Application to Verified Model Counting

- Summary
- Subjects
- Metrics

Abstract

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

Related Organizations

Carnegie Mellon University
United States

Keywords

propositional model counting, proof checking

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average