{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:WJ7M5FXODGIYB55RYCKEPT2LT7","short_pith_number":"pith:WJ7M5FXO","schema_version":"1.0","canonical_sha256":"b27ece96ee199180f7b1c09447cf4b9fc62ebf99dc4a88de7b4445f4b93863e5","source":{"kind":"arxiv","id":"1212.2452","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1212.2452","created_at":"2026-05-18T03:38:44.859399+00:00"},{"alias_kind":"arxiv_version","alias_value":"1212.2452v1","created_at":"2026-05-18T03:38:44.859399+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.2452","created_at":"2026-05-18T03:38:44.859399+00:00"},{"alias_kind":"pith_short_12","alias_value":"WJ7M5FXODGIY","created_at":"2026-05-18T12:27:25.539911+00:00"},{"alias_kind":"pith_short_16","alias_value":"WJ7M5FXODGIYB55R","created_at":"2026-05-18T12:27:25.539911+00:00"},{"alias_kind":"pith_short_8","alias_value":"WJ7M5FXO","created_at":"2026-05-18T12:27:25.539911+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/WJ7M5FXODGIYB55RYCKEPT2LT7","json":"https://pith.science/pith/WJ7M5FXODGIYB55RYCKEPT2LT7.json","graph_json":"https://pith.science/api/pith-number/WJ7M5FXODGIYB55RYCKEPT2LT7/graph.json","events_json":"https://pith.science/api/pith-number/WJ7M5FXODGIYB55RYCKEPT2LT7/events.json","paper":"https://pith.science/paper/WJ7M5FXO"},"agent_actions":{"view_html":"https://pith.science/pith/WJ7M5FXODGIYB55RYCKEPT2LT7","download_json":"https://pith.science/pith/WJ7M5FXODGIYB55RYCKEPT2LT7.json","view_paper":"https://pith.science/paper/WJ7M5FXO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1212.2452&json=true","fetch_graph":"https://pith.science/api/pith-number/WJ7M5FXODGIYB55RYCKEPT2LT7/graph.json","fetch_events":"https://pith.science/api/pith-number/WJ7M5FXODGIYB55RYCKEPT2LT7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WJ7M5FXODGIYB55RYCKEPT2LT7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WJ7M5FXODGIYB55RYCKEPT2LT7/action/storage_attestation","attest_author":"https://pith.science/pith/WJ7M5FXODGIYB55RYCKEPT2LT7/action/author_attestation","sign_citation":"https://pith.science/pith/WJ7M5FXODGIYB55RYCKEPT2LT7/action/citation_signature","submit_replication":"https://pith.science/pith/WJ7M5FXODGIYB55RYCKEPT2LT7/action/replication_record"}},"created_at":"2026-05-18T03:38:44.859399+00:00","updated_at":"2026-05-18T03:38:44.859399+00:00"}