{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2008:GWO5MXVUZWQH7D6JZMQ7ZEJTEY","short_pith_number":"pith:GWO5MXVU","canonical_record":{"source":{"id":"0804.0066","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-04-01T05:08:44Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"dabf9974db5cdb2476c76979cc656c8a030f69563cd7e96f8012c93fed2244c8","abstract_canon_sha256":"cff9d8f9ba907c3615e3fc77be461c9fa4bd3b609b5b1e5f7818d6aadf5e6b3e"},"schema_version":"1.0"},"canonical_sha256":"359dd65eb4cda07f8fc9cb21fc9133262acabb9766f02d29dff46803858af6be","source":{"kind":"arxiv","id":"0804.0066","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0804.0066","created_at":"2026-05-18T01:09:24Z"},{"alias_kind":"arxiv_version","alias_value":"0804.0066v1","created_at":"2026-05-18T01:09:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0804.0066","created_at":"2026-05-18T01:09:24Z"},{"alias_kind":"pith_short_12","alias_value":"GWO5MXVUZWQH","created_at":"2026-05-18T12:25:57Z"},{"alias_kind":"pith_short_16","alias_value":"GWO5MXVUZWQH7D6J","created_at":"2026-05-18T12:25:57Z"},{"alias_kind":"pith_short_8","alias_value":"GWO5MXVU","created_at":"2026-05-18T12:25:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2008:GWO5MXVUZWQH7D6JZMQ7ZEJTEY","target":"record","payload":{"canonical_record":{"source":{"id":"0804.0066","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-04-01T05:08:44Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"dabf9974db5cdb2476c76979cc656c8a030f69563cd7e96f8012c93fed2244c8","abstract_canon_sha256":"cff9d8f9ba907c3615e3fc77be461c9fa4bd3b609b5b1e5f7818d6aadf5e6b3e"},"schema_version":"1.0"},"canonical_sha256":"359dd65eb4cda07f8fc9cb21fc9133262acabb9766f02d29dff46803858af6be","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:24.491204Z","signature_b64":"BS2qEGnpOHDQHkCqR3qqb74xuKJ/aC/8gsP/b4LAWDGDT7e2pCyfp+3NiSL2FyskOhc/gAIm0JoSTyRE6d8ECw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"359dd65eb4cda07f8fc9cb21fc9133262acabb9766f02d29dff46803858af6be","last_reissued_at":"2026-05-18T01:09:24.490671Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:24.490671Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0804.0066","source_version":1,"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-05-18T01:09:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GMEN/SMkDomTvY8s4vsjyyEl/1dw5WRRlv74bOqU6V//+TFLOa85WjGYlhyg3OuNf7cjl8WUtYbSurE9KInLDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T05:06:59.557845Z"},"content_sha256":"4b7e7d78c18f55f5da0d5f16a49236806522d4e99afa945266e26531f83cec69","schema_version":"1.0","event_id":"sha256:4b7e7d78c18f55f5da0d5f16a49236806522d4e99afa945266e26531f83cec69"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2008:GWO5MXVUZWQH7D6JZMQ7ZEJTEY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Binary Decision Diagrams for Affine Approximation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Harald S{\\o}ndergaard, Kevin Henshall, Leigh Whiting, Peter Schachte","submitted_at":"2008-04-01T05:08:44Z","abstract_excerpt":"Selman and Kautz's work on ``knowledge compilation'' established how approximation (strengthening and/or weakening) of a propositional knowledge-base can be used to speed up query processing, at the expense of completeness. In this classical approach, querying uses Horn over- and under-approximations of a given knowledge-base, which is represented as a propositional formula in conjunctive normal form (CNF). Along with the class of Horn functions, one could imagine other Boolean function classes that might serve the same purpose, owing to attractive deduction-computational properties similar to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0804.0066","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"},"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-05-18T01:09:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z4stbXsJjVixziZwifG/ZfRGaTXIeK+AFFTfqsNPfF5mm9X6JQMIRkdTnUD69YAiPeJ6ixhaLLmbo+z0pGHkAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T05:06:59.558539Z"},"content_sha256":"3c8708aeb6bf597f4728539d56b89f9cc6636ec97af40cb4497684dd2a16d2bd","schema_version":"1.0","event_id":"sha256:3c8708aeb6bf597f4728539d56b89f9cc6636ec97af40cb4497684dd2a16d2bd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GWO5MXVUZWQH7D6JZMQ7ZEJTEY/bundle.json","state_url":"https://pith.science/pith/GWO5MXVUZWQH7D6JZMQ7ZEJTEY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GWO5MXVUZWQH7D6JZMQ7ZEJTEY/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-06-26T05:06:59Z","links":{"resolver":"https://pith.science/pith/GWO5MXVUZWQH7D6JZMQ7ZEJTEY","bundle":"https://pith.science/pith/GWO5MXVUZWQH7D6JZMQ7ZEJTEY/bundle.json","state":"https://pith.science/pith/GWO5MXVUZWQH7D6JZMQ7ZEJTEY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GWO5MXVUZWQH7D6JZMQ7ZEJTEY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:GWO5MXVUZWQH7D6JZMQ7ZEJTEY","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":"cff9d8f9ba907c3615e3fc77be461c9fa4bd3b609b5b1e5f7818d6aadf5e6b3e","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-04-01T05:08:44Z","title_canon_sha256":"dabf9974db5cdb2476c76979cc656c8a030f69563cd7e96f8012c93fed2244c8"},"schema_version":"1.0","source":{"id":"0804.0066","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0804.0066","created_at":"2026-05-18T01:09:24Z"},{"alias_kind":"arxiv_version","alias_value":"0804.0066v1","created_at":"2026-05-18T01:09:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0804.0066","created_at":"2026-05-18T01:09:24Z"},{"alias_kind":"pith_short_12","alias_value":"GWO5MXVUZWQH","created_at":"2026-05-18T12:25:57Z"},{"alias_kind":"pith_short_16","alias_value":"GWO5MXVUZWQH7D6J","created_at":"2026-05-18T12:25:57Z"},{"alias_kind":"pith_short_8","alias_value":"GWO5MXVU","created_at":"2026-05-18T12:25:57Z"}],"graph_snapshots":[{"event_id":"sha256:3c8708aeb6bf597f4728539d56b89f9cc6636ec97af40cb4497684dd2a16d2bd","target":"graph","created_at":"2026-05-18T01:09:24Z","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":"Selman and Kautz's work on ``knowledge compilation'' established how approximation (strengthening and/or weakening) of a propositional knowledge-base can be used to speed up query processing, at the expense of completeness. In this classical approach, querying uses Horn over- and under-approximations of a given knowledge-base, which is represented as a propositional formula in conjunctive normal form (CNF). Along with the class of Horn functions, one could imagine other Boolean function classes that might serve the same purpose, owing to attractive deduction-computational properties similar to","authors_text":"Harald S{\\o}ndergaard, Kevin Henshall, Leigh Whiting, Peter Schachte","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-04-01T05:08:44Z","title":"Binary Decision Diagrams for Affine Approximation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0804.0066","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:4b7e7d78c18f55f5da0d5f16a49236806522d4e99afa945266e26531f83cec69","target":"record","created_at":"2026-05-18T01:09:24Z","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":"cff9d8f9ba907c3615e3fc77be461c9fa4bd3b609b5b1e5f7818d6aadf5e6b3e","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-04-01T05:08:44Z","title_canon_sha256":"dabf9974db5cdb2476c76979cc656c8a030f69563cd7e96f8012c93fed2244c8"},"schema_version":"1.0","source":{"id":"0804.0066","kind":"arxiv","version":1}},"canonical_sha256":"359dd65eb4cda07f8fc9cb21fc9133262acabb9766f02d29dff46803858af6be","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"359dd65eb4cda07f8fc9cb21fc9133262acabb9766f02d29dff46803858af6be","first_computed_at":"2026-05-18T01:09:24.490671Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:24.490671Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BS2qEGnpOHDQHkCqR3qqb74xuKJ/aC/8gsP/b4LAWDGDT7e2pCyfp+3NiSL2FyskOhc/gAIm0JoSTyRE6d8ECw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:24.491204Z","signed_message":"canonical_sha256_bytes"},"source_id":"0804.0066","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4b7e7d78c18f55f5da0d5f16a49236806522d4e99afa945266e26531f83cec69","sha256:3c8708aeb6bf597f4728539d56b89f9cc6636ec97af40cb4497684dd2a16d2bd"],"state_sha256":"8650b661e57bb94063034eab23f6c25360a2c2eac718736c44c77a6b32bb1e60"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y9ZuvgZ8ndLlx3MHwQXXtIFLZbIhg1jlUtZYGHwz612iyuy7rr91TcZuDxo9m2z+H2V5Trtky8dmC7z+BzkMBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T05:06:59.562111Z","bundle_sha256":"e3e823e0bf2559d99ad8bd7f14f1d8a25cff6733cbdaecdfca9ea0ec49aa4f5b"}}