{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:6KECQ3LP5BAUPAUKABGV356WEA","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":"467f03e2bfef768412099ba10dc01d56abe482b9e4821fbb2fba507ab721498b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T05:09:35Z","title_canon_sha256":"218b5dd95dfa5f8a6ceccce7cf25ab64bf7f3a101bf1546570256185776d3f2d"},"schema_version":"1.0","source":{"id":"1401.3448","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3448","created_at":"2026-05-18T03:02:09Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3448v1","created_at":"2026-05-18T03:02:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3448","created_at":"2026-05-18T03:02:09Z"},{"alias_kind":"pith_short_12","alias_value":"6KECQ3LP5BAU","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"6KECQ3LP5BAUPAUK","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"6KECQ3LP","created_at":"2026-05-18T12:28:16Z"}],"graph_snapshots":[{"event_id":"sha256:53d2cff26ff7f52cf6e1de30595b2bf278686ad1f64ff0ae3e8ef68246f8d688","target":"graph","created_at":"2026-05-18T03:02:09Z","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":"Inspired by the recently introduced framework of AND/OR search spaces for graphical models, we propose to augment Multi-Valued Decision Diagrams (MDD) with AND nodes, in order to capture function decomposition structure and to extend these compiled data structures to general weighted graphical models (e.g., probabilistic models). We present the AND/OR Multi-Valued Decision Diagram (AOMDD) which compiles a graphical model into a canonical form that supports polynomial (e.g., solution counting, belief updating) or constant time (e.g. equivalence of graphical models) queries. We provide two algor","authors_text":"Radu Marinescu, Rina Dechter, Robert Mateescu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T05:09:35Z","title":"AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3448","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:b6869e39b2b107e69c07752a6b04dbb5c2eb78db0d342182ae1f3706613f3c46","target":"record","created_at":"2026-05-18T03:02:09Z","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":"467f03e2bfef768412099ba10dc01d56abe482b9e4821fbb2fba507ab721498b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T05:09:35Z","title_canon_sha256":"218b5dd95dfa5f8a6ceccce7cf25ab64bf7f3a101bf1546570256185776d3f2d"},"schema_version":"1.0","source":{"id":"1401.3448","kind":"arxiv","version":1}},"canonical_sha256":"f288286d6fe84147828a004d5df7d62020ae469a9fd63b7e14838eda855beb7a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f288286d6fe84147828a004d5df7d62020ae469a9fd63b7e14838eda855beb7a","first_computed_at":"2026-05-18T03:02:09.081562Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:02:09.081562Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vrGPku0w5q06Epk55MlgIQGA39SGSvZq2Uso3196opvAUa3aj9zCeUOpQ02bhPPveWrtvig/mz1G7MYS+m3FCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:02:09.082413Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.3448","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b6869e39b2b107e69c07752a6b04dbb5c2eb78db0d342182ae1f3706613f3c46","sha256:53d2cff26ff7f52cf6e1de30595b2bf278686ad1f64ff0ae3e8ef68246f8d688"],"state_sha256":"e7b6bb8c5daf47777699141e0c531aa7fb1451147bfae17cebb14b758d3b08c8"}