{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:AR6Q5PQEL4BIXHJOVKO2NAQCZ4","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"d7b3fc357fd52d1f2059e91a6927056f87dabb5f740ec8dc1eec61aef3a36437","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-18T12:51:48Z","title_canon_sha256":"a80692962d65beb7c9813a967da823daf02a22b0610c3727080749ee0713373f"},"schema_version":"1.0","source":{"id":"1805.07180","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.07180","created_at":"2026-05-18T00:15:39Z"},{"alias_kind":"arxiv_version","alias_value":"1805.07180v1","created_at":"2026-05-18T00:15:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.07180","created_at":"2026-05-18T00:15:39Z"},{"alias_kind":"pith_short_12","alias_value":"AR6Q5PQEL4BI","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_16","alias_value":"AR6Q5PQEL4BIXHJO","created_at":"2026-05-18T12:32:13Z"},{"alias_kind":"pith_short_8","alias_value":"AR6Q5PQE","created_at":"2026-05-18T12:32:13Z"}],"graph_snapshots":[{"event_id":"sha256:e345ccc8d28515093cd44aa4c36a368df2ca667891699c57fecc2337fc0162f5","target":"graph","created_at":"2026-05-18T00:15:39Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Model counting is the problem of computing the number of satisfying assignments of a given propositional formula. Although exact model counters can be naturally furnished by most of the knowledge compilation (KC) methods, in practice, they fail to generate the compiled results for the exact counting of models for certain formulas due to the explosion in sizes. Decision-DNNF is an important KC language that captures most of the practical compilers. We propose a generalized Decision-DNNF (referred to as partial Decision-DNNF) via introducing a class of new leaf vertices (called unknown vertices)","authors_text":"Yong Lai","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-18T12:51:48Z","title":"Approximate Model Counting by Partial Knowledge Compilation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.07180","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:1591216d33e9469aaded3433889619ef1ea2c78861f8e06cceefb30df682b787","target":"record","created_at":"2026-05-18T00:15:39Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"d7b3fc357fd52d1f2059e91a6927056f87dabb5f740ec8dc1eec61aef3a36437","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-18T12:51:48Z","title_canon_sha256":"a80692962d65beb7c9813a967da823daf02a22b0610c3727080749ee0713373f"},"schema_version":"1.0","source":{"id":"1805.07180","kind":"arxiv","version":1}},"canonical_sha256":"047d0ebe045f028b9d2eaa9da68202cf366b49915b8773e17eb4b9168e8b026d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"047d0ebe045f028b9d2eaa9da68202cf366b49915b8773e17eb4b9168e8b026d","first_computed_at":"2026-05-18T00:15:39.008849Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:15:39.008849Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NvtEmNyDVrLwLG09SYGnbY+pp4y/lPsDI8mGN3DZtA7kFGUxW0OZHoOh6V4Xy4+W3Xu0UsxJsVIx+Msx5U1nAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:15:39.009332Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.07180","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1591216d33e9469aaded3433889619ef1ea2c78861f8e06cceefb30df682b787","sha256:e345ccc8d28515093cd44aa4c36a368df2ca667891699c57fecc2337fc0162f5"],"state_sha256":"462ee388813d4fb754e21f07527160905bd9366a17466b5f696a755d0f509bbb"}