{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:7ALMN5AEESKWYHZFOOEMPYV7W2","short_pith_number":"pith:7ALMN5AE","canonical_record":{"source":{"id":"1302.3572","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:13:33Z","cross_cats_sorted":[],"title_canon_sha256":"0ed8fa81249bb9fc5ac997131c879278d7c21663e9b61cabfbc032f619138a25","abstract_canon_sha256":"cdc37b1ede05e687b705a7d174b402af9409ae14b9c2ee6ad7c1c46008b59ca8"},"schema_version":"1.0"},"canonical_sha256":"f816c6f40424956c1f257388c7e2bfb6b3b694d3121acf0e9f5c4759eb9f479e","source":{"kind":"arxiv","id":"1302.3572","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.3572","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"arxiv_version","alias_value":"1302.3572v1","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.3572","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"pith_short_12","alias_value":"7ALMN5AEESKW","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"7ALMN5AEESKWYHZF","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"7ALMN5AE","created_at":"2026-05-18T12:27:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:7ALMN5AEESKWYHZFOOEMPYV7W2","target":"record","payload":{"canonical_record":{"source":{"id":"1302.3572","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:13:33Z","cross_cats_sorted":[],"title_canon_sha256":"0ed8fa81249bb9fc5ac997131c879278d7c21663e9b61cabfbc032f619138a25","abstract_canon_sha256":"cdc37b1ede05e687b705a7d174b402af9409ae14b9c2ee6ad7c1c46008b59ca8"},"schema_version":"1.0"},"canonical_sha256":"f816c6f40424956c1f257388c7e2bfb6b3b694d3121acf0e9f5c4759eb9f479e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:33:36.764340Z","signature_b64":"MD7QKu4FESimyjEvx56ZNQNq5vsk8nsuHmWGVrW9bvkV9Ia16fENzSYZeCt1XLjVcAxfViK8fpt0KZZFD8nrAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f816c6f40424956c1f257388c7e2bfb6b3b694d3121acf0e9f5c4759eb9f479e","last_reissued_at":"2026-05-18T03:33:36.763572Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:33:36.763572Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.3572","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-18T03:33:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3r9HOGgQH6EjIidhJ6HdShsB0uBXFvZWpg9dKdDEfNmzj6VLqpLVBTPDYHRmJsjIA65qo11WuVX7kyLBqYKtAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T10:33:04.484070Z"},"content_sha256":"6adcae66856ef853e193db368e7f78d7ad14b883a7e0d7546c3388f3b3244ba7","schema_version":"1.0","event_id":"sha256:6adcae66856ef853e193db368e7f78d7ad14b883a7e0d7546c3388f3b3244ba7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:7ALMN5AEESKWYHZFOOEMPYV7W2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bucket Elimination: A Unifying Framework for Several Probabilistic Inference","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Rina Dechter","submitted_at":"2013-02-13T14:13:33Z","abstract_excerpt":"Probabilistic inference algorithms for finding the most probable explanation, the maximum aposteriori hypothesis, and the maximum expected utility and for updating belief are reformulated as an elimination--type algorithm called bucket elimination.  This emphasizes the principle common to many of the algorithms appearing in that literature and clarifies their relationship to nonserial dynamic programming algorithms.  We also present a general way of combining conditioning and elimination within this framework.  Bounds on complexity are given for all the algorithms as a function of the problem'"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.3572","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-18T03:33:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0N9/QvcCjmPQtAbKEvjngkAztROVz9tH+3pDebfneQ9y6aFNbGYqvHUS+/uiNATew45HxjSCGESsS++n99xfDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T10:33:04.484429Z"},"content_sha256":"d4af47df1de9086771dbb8e8a4e35c782150e4788b14e9763af3fb788757b174","schema_version":"1.0","event_id":"sha256:d4af47df1de9086771dbb8e8a4e35c782150e4788b14e9763af3fb788757b174"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7ALMN5AEESKWYHZFOOEMPYV7W2/bundle.json","state_url":"https://pith.science/pith/7ALMN5AEESKWYHZFOOEMPYV7W2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7ALMN5AEESKWYHZFOOEMPYV7W2/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-05-31T10:33:04Z","links":{"resolver":"https://pith.science/pith/7ALMN5AEESKWYHZFOOEMPYV7W2","bundle":"https://pith.science/pith/7ALMN5AEESKWYHZFOOEMPYV7W2/bundle.json","state":"https://pith.science/pith/7ALMN5AEESKWYHZFOOEMPYV7W2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7ALMN5AEESKWYHZFOOEMPYV7W2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:7ALMN5AEESKWYHZFOOEMPYV7W2","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":"cdc37b1ede05e687b705a7d174b402af9409ae14b9c2ee6ad7c1c46008b59ca8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:13:33Z","title_canon_sha256":"0ed8fa81249bb9fc5ac997131c879278d7c21663e9b61cabfbc032f619138a25"},"schema_version":"1.0","source":{"id":"1302.3572","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.3572","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"arxiv_version","alias_value":"1302.3572v1","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.3572","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"pith_short_12","alias_value":"7ALMN5AEESKW","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"7ALMN5AEESKWYHZF","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"7ALMN5AE","created_at":"2026-05-18T12:27:36Z"}],"graph_snapshots":[{"event_id":"sha256:d4af47df1de9086771dbb8e8a4e35c782150e4788b14e9763af3fb788757b174","target":"graph","created_at":"2026-05-18T03:33:36Z","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":"Probabilistic inference algorithms for finding the most probable explanation, the maximum aposteriori hypothesis, and the maximum expected utility and for updating belief are reformulated as an elimination--type algorithm called bucket elimination.  This emphasizes the principle common to many of the algorithms appearing in that literature and clarifies their relationship to nonserial dynamic programming algorithms.  We also present a general way of combining conditioning and elimination within this framework.  Bounds on complexity are given for all the algorithms as a function of the problem'","authors_text":"Rina Dechter","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:13:33Z","title":"Bucket Elimination: A Unifying Framework for Several Probabilistic Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.3572","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:6adcae66856ef853e193db368e7f78d7ad14b883a7e0d7546c3388f3b3244ba7","target":"record","created_at":"2026-05-18T03:33:36Z","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":"cdc37b1ede05e687b705a7d174b402af9409ae14b9c2ee6ad7c1c46008b59ca8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:13:33Z","title_canon_sha256":"0ed8fa81249bb9fc5ac997131c879278d7c21663e9b61cabfbc032f619138a25"},"schema_version":"1.0","source":{"id":"1302.3572","kind":"arxiv","version":1}},"canonical_sha256":"f816c6f40424956c1f257388c7e2bfb6b3b694d3121acf0e9f5c4759eb9f479e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f816c6f40424956c1f257388c7e2bfb6b3b694d3121acf0e9f5c4759eb9f479e","first_computed_at":"2026-05-18T03:33:36.763572Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:33:36.763572Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MD7QKu4FESimyjEvx56ZNQNq5vsk8nsuHmWGVrW9bvkV9Ia16fENzSYZeCt1XLjVcAxfViK8fpt0KZZFD8nrAw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:33:36.764340Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.3572","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6adcae66856ef853e193db368e7f78d7ad14b883a7e0d7546c3388f3b3244ba7","sha256:d4af47df1de9086771dbb8e8a4e35c782150e4788b14e9763af3fb788757b174"],"state_sha256":"db66db257f668e5447f68e53861e22c22f6c8f3359b56547e8f5a60bb943f3e4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9gCJRsuVRs8utqLjcEeMEby5glS1HIMqSlIIaCxQhwlbuW/0UiJHgUHqtLyaOJQ2UBwl44qaC62ARsoSZ6k/Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T10:33:04.487213Z","bundle_sha256":"aef780ff2e6249e896ebf777f2341f9440a535639b41a0ea7fa755eaf366685a"}}