{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:PSMW7BSS5WVR7AY2BNAXWAE6IT","short_pith_number":"pith:PSMW7BSS","schema_version":"1.0","canonical_sha256":"7c996f8652edab1f831a0b417b009e44d25070bdb114274317ad972bda6d24e3","source":{"kind":"arxiv","id":"1709.07092","version":1},"attestation_state":"computed","paper":{"title":"On Compiling DNNFs without Determinism","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Adnan Darwiche, Umut Oztok","submitted_at":"2017-09-20T21:45:29Z","abstract_excerpt":"State-of-the-art knowledge compilers generate deterministic subsets of DNNF, which have been recently shown to be exponentially less succinct than DNNF. In this paper, we propose a new method to compile DNNFs without enforcing determinism necessarily. Our approach is based on compiling deterministic DNNFs with the addition of auxiliary variables to the input formula. These variables are then existentially quantified from the deterministic structure in linear time, which would lead to a DNNF that is equivalent to the input formula and not necessarily deterministic. On the theoretical side, we s"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1709.07092","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-09-20T21:45:29Z","cross_cats_sorted":[],"title_canon_sha256":"2168bc22120080c3d79013646a81bb4d3f573ff175893fcdd8d75fff49f875fe","abstract_canon_sha256":"57fd89245032618fba8bc440ec060cbf601d4dbd1857dcb394e7e572c7aa385c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:34:36.601369Z","signature_b64":"oWAwujfFmztb+qczdkoduVEsiKf/8bW6L7dzm6Y+jQXUF7s5jQtXrHbEi8IPkUdxmUgOiKF3w9Uzq5zo3YNwDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7c996f8652edab1f831a0b417b009e44d25070bdb114274317ad972bda6d24e3","last_reissued_at":"2026-05-18T00:34:36.600760Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:34:36.600760Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Compiling DNNFs without Determinism","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Adnan Darwiche, Umut Oztok","submitted_at":"2017-09-20T21:45:29Z","abstract_excerpt":"State-of-the-art knowledge compilers generate deterministic subsets of DNNF, which have been recently shown to be exponentially less succinct than DNNF. In this paper, we propose a new method to compile DNNFs without enforcing determinism necessarily. Our approach is based on compiling deterministic DNNFs with the addition of auxiliary variables to the input formula. These variables are then existentially quantified from the deterministic structure in linear time, which would lead to a DNNF that is equivalent to the input formula and not necessarily deterministic. On the theoretical side, we s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.07092","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1709.07092","created_at":"2026-05-18T00:34:36.600841+00:00"},{"alias_kind":"arxiv_version","alias_value":"1709.07092v1","created_at":"2026-05-18T00:34:36.600841+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.07092","created_at":"2026-05-18T00:34:36.600841+00:00"},{"alias_kind":"pith_short_12","alias_value":"PSMW7BSS5WVR","created_at":"2026-05-18T12:31:37.085036+00:00"},{"alias_kind":"pith_short_16","alias_value":"PSMW7BSS5WVR7AY2","created_at":"2026-05-18T12:31:37.085036+00:00"},{"alias_kind":"pith_short_8","alias_value":"PSMW7BSS","created_at":"2026-05-18T12:31:37.085036+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PSMW7BSS5WVR7AY2BNAXWAE6IT","json":"https://pith.science/pith/PSMW7BSS5WVR7AY2BNAXWAE6IT.json","graph_json":"https://pith.science/api/pith-number/PSMW7BSS5WVR7AY2BNAXWAE6IT/graph.json","events_json":"https://pith.science/api/pith-number/PSMW7BSS5WVR7AY2BNAXWAE6IT/events.json","paper":"https://pith.science/paper/PSMW7BSS"},"agent_actions":{"view_html":"https://pith.science/pith/PSMW7BSS5WVR7AY2BNAXWAE6IT","download_json":"https://pith.science/pith/PSMW7BSS5WVR7AY2BNAXWAE6IT.json","view_paper":"https://pith.science/paper/PSMW7BSS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1709.07092&json=true","fetch_graph":"https://pith.science/api/pith-number/PSMW7BSS5WVR7AY2BNAXWAE6IT/graph.json","fetch_events":"https://pith.science/api/pith-number/PSMW7BSS5WVR7AY2BNAXWAE6IT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PSMW7BSS5WVR7AY2BNAXWAE6IT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PSMW7BSS5WVR7AY2BNAXWAE6IT/action/storage_attestation","attest_author":"https://pith.science/pith/PSMW7BSS5WVR7AY2BNAXWAE6IT/action/author_attestation","sign_citation":"https://pith.science/pith/PSMW7BSS5WVR7AY2BNAXWAE6IT/action/citation_signature","submit_replication":"https://pith.science/pith/PSMW7BSS5WVR7AY2BNAXWAE6IT/action/replication_record"}},"created_at":"2026-05-18T00:34:36.600841+00:00","updated_at":"2026-05-18T00:34:36.600841+00:00"}