{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:WKXOEYUGPZQ7P2TBSWJDT4ND7M","short_pith_number":"pith:WKXOEYUG","canonical_record":{"source":{"id":"2107.01654","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-07-04T14:45:32Z","cross_cats_sorted":[],"title_canon_sha256":"9931fd7bdf2dfa43e319049c6b41ddec16ae11e17cbe9149aad4105317b6fc82","abstract_canon_sha256":"b8959546e62375e34b00ad61a75da418b2d9c2852e971c1023a959869cf14ffb"},"schema_version":"1.0"},"canonical_sha256":"b2aee262867e61f7ea61959239f1a3fb1e7019afb445b45b67b8120a9af98e3d","source":{"kind":"arxiv","id":"2107.01654","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2107.01654","created_at":"2026-07-05T02:56:16Z"},{"alias_kind":"arxiv_version","alias_value":"2107.01654v2","created_at":"2026-07-05T02:56:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2107.01654","created_at":"2026-07-05T02:56:16Z"},{"alias_kind":"pith_short_12","alias_value":"WKXOEYUGPZQ7","created_at":"2026-07-05T02:56:16Z"},{"alias_kind":"pith_short_16","alias_value":"WKXOEYUGPZQ7P2TB","created_at":"2026-07-05T02:56:16Z"},{"alias_kind":"pith_short_8","alias_value":"WKXOEYUG","created_at":"2026-07-05T02:56:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:WKXOEYUGPZQ7P2TBSWJDT4ND7M","target":"record","payload":{"canonical_record":{"source":{"id":"2107.01654","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-07-04T14:45:32Z","cross_cats_sorted":[],"title_canon_sha256":"9931fd7bdf2dfa43e319049c6b41ddec16ae11e17cbe9149aad4105317b6fc82","abstract_canon_sha256":"b8959546e62375e34b00ad61a75da418b2d9c2852e971c1023a959869cf14ffb"},"schema_version":"1.0"},"canonical_sha256":"b2aee262867e61f7ea61959239f1a3fb1e7019afb445b45b67b8120a9af98e3d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:56:16.977561Z","signature_b64":"T9PV338Im3uI3G/uh9vfoRtm2lCvrSvv+A6sk6jW++1ZOZYn3YD0zlFxR9hYguh5mF44DyUCkGSI8lNIsBEWCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b2aee262867e61f7ea61959239f1a3fb1e7019afb445b45b67b8120a9af98e3d","last_reissued_at":"2026-07-05T02:56:16.977081Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:56:16.977081Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2107.01654","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T02:56:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hru7x3t5NZTlapJ190BE9BsxQUf+M/vmakvxtUN2OW4Kwv+W58d0MTKd8A+uJSlsa/B154CHAT39322lTjYBDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T14:11:31.742300Z"},"content_sha256":"3965dc11e9ed68cdcea3273f710714366bb7c10b736ad90cfad57dddcbc934bd","schema_version":"1.0","event_id":"sha256:3965dc11e9ed68cdcea3273f710714366bb7c10b736ad90cfad57dddcbc934bd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:WKXOEYUGPZQ7P2TBSWJDT4ND7M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient Explanations for Knowledge Compilation Languages","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alexey Ignatiev, Joao Marques-Silva, Martin C. Cooper, Nicholas Asher, Xuanxiang Huang, Yacine Izza","submitted_at":"2021-07-04T14:45:32Z","abstract_excerpt":"Knowledge compilation (KC) languages find a growing number of practical uses, including in Constraint Programming (CP) and in Machine Learning (ML). In most applications, one natural question is how to explain the decisions made by models represented by a KC language. This paper shows that for many of the best known KC languages, well-known classes of explanations can be computed in polynomial time. These classes include deterministic decomposable negation normal form (d-DNNF), and so any KC language that is strictly less succinct than d-DNNF. Furthermore, the paper also investigates the condi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2107.01654","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2107.01654/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T02:56:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9WpFuZs5fXEHuRGcmrGBmMytc499AFhZZ81zu96z1GNBr9hF9xXknRQ8Ct1Ou9UdM/BHnZ9beIIwZFr6tpaJBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T14:11:31.742797Z"},"content_sha256":"c23dc13d12d78bf7bc6e0a3267ce89eb6311f42d48da5c2b3571ad52deb1b465","schema_version":"1.0","event_id":"sha256:c23dc13d12d78bf7bc6e0a3267ce89eb6311f42d48da5c2b3571ad52deb1b465"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WKXOEYUGPZQ7P2TBSWJDT4ND7M/bundle.json","state_url":"https://pith.science/pith/WKXOEYUGPZQ7P2TBSWJDT4ND7M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WKXOEYUGPZQ7P2TBSWJDT4ND7M/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-05T14:11:31Z","links":{"resolver":"https://pith.science/pith/WKXOEYUGPZQ7P2TBSWJDT4ND7M","bundle":"https://pith.science/pith/WKXOEYUGPZQ7P2TBSWJDT4ND7M/bundle.json","state":"https://pith.science/pith/WKXOEYUGPZQ7P2TBSWJDT4ND7M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WKXOEYUGPZQ7P2TBSWJDT4ND7M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:WKXOEYUGPZQ7P2TBSWJDT4ND7M","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":"b8959546e62375e34b00ad61a75da418b2d9c2852e971c1023a959869cf14ffb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-07-04T14:45:32Z","title_canon_sha256":"9931fd7bdf2dfa43e319049c6b41ddec16ae11e17cbe9149aad4105317b6fc82"},"schema_version":"1.0","source":{"id":"2107.01654","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2107.01654","created_at":"2026-07-05T02:56:16Z"},{"alias_kind":"arxiv_version","alias_value":"2107.01654v2","created_at":"2026-07-05T02:56:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2107.01654","created_at":"2026-07-05T02:56:16Z"},{"alias_kind":"pith_short_12","alias_value":"WKXOEYUGPZQ7","created_at":"2026-07-05T02:56:16Z"},{"alias_kind":"pith_short_16","alias_value":"WKXOEYUGPZQ7P2TB","created_at":"2026-07-05T02:56:16Z"},{"alias_kind":"pith_short_8","alias_value":"WKXOEYUG","created_at":"2026-07-05T02:56:16Z"}],"graph_snapshots":[{"event_id":"sha256:c23dc13d12d78bf7bc6e0a3267ce89eb6311f42d48da5c2b3571ad52deb1b465","target":"graph","created_at":"2026-07-05T02:56:16Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2107.01654/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Knowledge compilation (KC) languages find a growing number of practical uses, including in Constraint Programming (CP) and in Machine Learning (ML). In most applications, one natural question is how to explain the decisions made by models represented by a KC language. This paper shows that for many of the best known KC languages, well-known classes of explanations can be computed in polynomial time. These classes include deterministic decomposable negation normal form (d-DNNF), and so any KC language that is strictly less succinct than d-DNNF. Furthermore, the paper also investigates the condi","authors_text":"Alexey Ignatiev, Joao Marques-Silva, Martin C. Cooper, Nicholas Asher, Xuanxiang Huang, Yacine Izza","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-07-04T14:45:32Z","title":"Efficient Explanations for Knowledge Compilation Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2107.01654","kind":"arxiv","version":2},"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:3965dc11e9ed68cdcea3273f710714366bb7c10b736ad90cfad57dddcbc934bd","target":"record","created_at":"2026-07-05T02:56:16Z","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":"b8959546e62375e34b00ad61a75da418b2d9c2852e971c1023a959869cf14ffb","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-07-04T14:45:32Z","title_canon_sha256":"9931fd7bdf2dfa43e319049c6b41ddec16ae11e17cbe9149aad4105317b6fc82"},"schema_version":"1.0","source":{"id":"2107.01654","kind":"arxiv","version":2}},"canonical_sha256":"b2aee262867e61f7ea61959239f1a3fb1e7019afb445b45b67b8120a9af98e3d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b2aee262867e61f7ea61959239f1a3fb1e7019afb445b45b67b8120a9af98e3d","first_computed_at":"2026-07-05T02:56:16.977081Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:56:16.977081Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T9PV338Im3uI3G/uh9vfoRtm2lCvrSvv+A6sk6jW++1ZOZYn3YD0zlFxR9hYguh5mF44DyUCkGSI8lNIsBEWCA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:56:16.977561Z","signed_message":"canonical_sha256_bytes"},"source_id":"2107.01654","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3965dc11e9ed68cdcea3273f710714366bb7c10b736ad90cfad57dddcbc934bd","sha256:c23dc13d12d78bf7bc6e0a3267ce89eb6311f42d48da5c2b3571ad52deb1b465"],"state_sha256":"5d5cf8684f0976c2d10c933c8a7e6bb32c717bdd1088fcee7f01ba7fc1f3ebcb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/CFuh/zXRzeruYaWJYX5TZWOLKPUH+3LDBmvpNDg4P9k70BBUBeBgEwrjUahtC77m1ZPZTERnHISHI1Af5scBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T14:11:31.747022Z","bundle_sha256":"02b263042c6b1e64b8b733c57d0f2de941910893a9d19831ba397a0bdad24879"}}