{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:WJ7M5FXODGIYB55RYCKEPT2LT7","short_pith_number":"pith:WJ7M5FXO","canonical_record":{"source":{"id":"1212.2452","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-19T15:03:31Z","cross_cats_sorted":[],"title_canon_sha256":"ff6a3931e7da820eb041cdfe9eb602a214e70368ae74e73783c3f7aade28d336","abstract_canon_sha256":"0291452a5879d468bbf22a9debfed86146ae42b5947f9f037c37df762a6129b2"},"schema_version":"1.0"},"canonical_sha256":"b27ece96ee199180f7b1c09447cf4b9fc62ebf99dc4a88de7b4445f4b93863e5","source":{"kind":"arxiv","id":"1212.2452","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.2452","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"arxiv_version","alias_value":"1212.2452v1","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.2452","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"pith_short_12","alias_value":"WJ7M5FXODGIY","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"WJ7M5FXODGIYB55R","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"WJ7M5FXO","created_at":"2026-05-18T12:27:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:WJ7M5FXODGIYB55RYCKEPT2LT7","target":"record","payload":{"canonical_record":{"source":{"id":"1212.2452","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-19T15:03:31Z","cross_cats_sorted":[],"title_canon_sha256":"ff6a3931e7da820eb041cdfe9eb602a214e70368ae74e73783c3f7aade28d336","abstract_canon_sha256":"0291452a5879d468bbf22a9debfed86146ae42b5947f9f037c37df762a6129b2"},"schema_version":"1.0"},"canonical_sha256":"b27ece96ee199180f7b1c09447cf4b9fc62ebf99dc4a88de7b4445f4b93863e5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:38:44.859789Z","signature_b64":"VRN8x69vO+0ijLyGo+WT6WL9pxfgfUmDa1zEwQlgYBiTWTv6hh8DlFhtxdZ56pKT3HozKOXjA3zdh4+Ygk12Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b27ece96ee199180f7b1c09447cf4b9fc62ebf99dc4a88de7b4445f4b93863e5","last_reissued_at":"2026-05-18T03:38:44.859332Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:38:44.859332Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1212.2452","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:38:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IpOAHoSG4BaSp655wOnrIsgNSq4bv+aG8Mkqd6SN99Gkersw9hqXt7h6MV0vq6IcQE48GvoOP80XfBQk0hXdDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T06:00:13.031021Z"},"content_sha256":"c9a465462a9e669955e970dd691c2a61c3bc25a49737b7022db67005a49820dd","schema_version":"1.0","event_id":"sha256:c9a465462a9e669955e970dd691c2a61c3bc25a49737b7022db67005a49820dd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:WJ7M5FXODGIYB55RYCKEPT2LT7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Value Elimination: Bayesian Inference via Backtracking Search","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi","submitted_at":"2012-10-19T15:03:31Z","abstract_excerpt":"Backtracking search is a powerful algorithmic paradigm that can be used to     solve many problems. It is in a certain sense the dual of variable elimination;     but on many problems, e.g., SAT, it is vastly superior to variable elimination     in practice. Motivated by this we investigate the application of backtracking     search to the problem of Bayesian inference (Bayes). We show that natural     generalizations of known techniques allow backtracking search to achieve     performance guarantees similar to standard algorithms for Bayes, and that there     exist problems on which backtrack"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.2452","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:38:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j9zASlpvpaaH8scJAH7xYSL04cCMIh+bGNjabWyiCTDNLVFvCz+u21LpT9M46b106v58IO5MlsHTKOEAVhAvAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T06:00:13.031465Z"},"content_sha256":"eb1c2d4124123e50f8a8549afacfa98fcc314f7221bcbea1b36fbd38015e34b7","schema_version":"1.0","event_id":"sha256:eb1c2d4124123e50f8a8549afacfa98fcc314f7221bcbea1b36fbd38015e34b7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WJ7M5FXODGIYB55RYCKEPT2LT7/bundle.json","state_url":"https://pith.science/pith/WJ7M5FXODGIYB55RYCKEPT2LT7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WJ7M5FXODGIYB55RYCKEPT2LT7/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-02T06:00:13Z","links":{"resolver":"https://pith.science/pith/WJ7M5FXODGIYB55RYCKEPT2LT7","bundle":"https://pith.science/pith/WJ7M5FXODGIYB55RYCKEPT2LT7/bundle.json","state":"https://pith.science/pith/WJ7M5FXODGIYB55RYCKEPT2LT7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WJ7M5FXODGIYB55RYCKEPT2LT7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:WJ7M5FXODGIYB55RYCKEPT2LT7","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":"0291452a5879d468bbf22a9debfed86146ae42b5947f9f037c37df762a6129b2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-19T15:03:31Z","title_canon_sha256":"ff6a3931e7da820eb041cdfe9eb602a214e70368ae74e73783c3f7aade28d336"},"schema_version":"1.0","source":{"id":"1212.2452","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.2452","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"arxiv_version","alias_value":"1212.2452v1","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.2452","created_at":"2026-05-18T03:38:44Z"},{"alias_kind":"pith_short_12","alias_value":"WJ7M5FXODGIY","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"WJ7M5FXODGIYB55R","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"WJ7M5FXO","created_at":"2026-05-18T12:27:25Z"}],"graph_snapshots":[{"event_id":"sha256:eb1c2d4124123e50f8a8549afacfa98fcc314f7221bcbea1b36fbd38015e34b7","target":"graph","created_at":"2026-05-18T03:38:44Z","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":"Backtracking search is a powerful algorithmic paradigm that can be used to     solve many problems. It is in a certain sense the dual of variable elimination;     but on many problems, e.g., SAT, it is vastly superior to variable elimination     in practice. Motivated by this we investigate the application of backtracking     search to the problem of Bayesian inference (Bayes). We show that natural     generalizations of known techniques allow backtracking search to achieve     performance guarantees similar to standard algorithms for Bayes, and that there     exist problems on which backtrack","authors_text":"Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-19T15:03:31Z","title":"Value Elimination: Bayesian Inference via Backtracking Search"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.2452","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:c9a465462a9e669955e970dd691c2a61c3bc25a49737b7022db67005a49820dd","target":"record","created_at":"2026-05-18T03:38:44Z","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":"0291452a5879d468bbf22a9debfed86146ae42b5947f9f037c37df762a6129b2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-10-19T15:03:31Z","title_canon_sha256":"ff6a3931e7da820eb041cdfe9eb602a214e70368ae74e73783c3f7aade28d336"},"schema_version":"1.0","source":{"id":"1212.2452","kind":"arxiv","version":1}},"canonical_sha256":"b27ece96ee199180f7b1c09447cf4b9fc62ebf99dc4a88de7b4445f4b93863e5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b27ece96ee199180f7b1c09447cf4b9fc62ebf99dc4a88de7b4445f4b93863e5","first_computed_at":"2026-05-18T03:38:44.859332Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:38:44.859332Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VRN8x69vO+0ijLyGo+WT6WL9pxfgfUmDa1zEwQlgYBiTWTv6hh8DlFhtxdZ56pKT3HozKOXjA3zdh4+Ygk12Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T03:38:44.859789Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.2452","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c9a465462a9e669955e970dd691c2a61c3bc25a49737b7022db67005a49820dd","sha256:eb1c2d4124123e50f8a8549afacfa98fcc314f7221bcbea1b36fbd38015e34b7"],"state_sha256":"efdcd56410b2411f415c969d19fc5d59e7966be4a1630eb5db054a4a793ecd98"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fGaS94G0nIS6skburMSQH6QKcJcdxD3Iy5f9YHmhp9TbkkeegkilEAMyhrYpgKjV6EFsyduTLzbztfNROuNuBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T06:00:13.033902Z","bundle_sha256":"097492d17804555d5f911f1668fb8d4c665e9dac3c7b9196c3198eda2168b9b0"}}