{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:FN2ALCLKZGCHUT3S35GZ7VNNAO","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":"af900e2a1250759c7aa60d51b6f396e22ba427f3da3c77d88ac4d3972e3a012a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-06-13T15:06:22Z","title_canon_sha256":"469c40c65b2d0b5b9034e8c431971a1d210be1db798ca46b2fe4eff1929c8519"},"schema_version":"1.0","source":{"id":"1206.3244","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.3244","created_at":"2026-05-18T03:53:31Z"},{"alias_kind":"arxiv_version","alias_value":"1206.3244v1","created_at":"2026-05-18T03:53:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.3244","created_at":"2026-05-18T03:53:31Z"},{"alias_kind":"pith_short_12","alias_value":"FN2ALCLKZGCH","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"FN2ALCLKZGCHUT3S","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"FN2ALCLK","created_at":"2026-05-18T12:27:06Z"}],"graph_snapshots":[{"event_id":"sha256:fb1142238eda943997833e23585d739e1a2f55566b326e54a2b5a12921a10b57","target":"graph","created_at":"2026-05-18T03:53:31Z","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":"The problem of learning discrete Bayesian networks from data is encoded as a weighted MAX-SAT problem and the MaxWalkSat local search algorithm is used to address it. For each dataset, the per-variable summands of the (BDeu) marginal likelihood for different choices of parents ('family scores') are computed prior to applying MaxWalkSat. Each permissible choice of parents for each variable is encoded as a distinct propositional atom and the associated family score encoded as a 'soft' weighted single-literal clause. Two approaches to enforcing acyclicity are considered: either by encoding the an","authors_text":"James Cussens","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-06-13T15:06:22Z","title":"Bayesian network learning by compiling to weighted MAX-SAT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.3244","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:e87df20ba1789f325a1fdd1aff063d58ef508cd63d2a8ae1ca1b4d9b738cd22b","target":"record","created_at":"2026-05-18T03:53:31Z","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":"af900e2a1250759c7aa60d51b6f396e22ba427f3da3c77d88ac4d3972e3a012a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-06-13T15:06:22Z","title_canon_sha256":"469c40c65b2d0b5b9034e8c431971a1d210be1db798ca46b2fe4eff1929c8519"},"schema_version":"1.0","source":{"id":"1206.3244","kind":"arxiv","version":1}},"canonical_sha256":"2b7405896ac9847a4f72df4d9fd5ad039d3942c7786f7db6ed34b9b2e2f0022c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2b7405896ac9847a4f72df4d9fd5ad039d3942c7786f7db6ed34b9b2e2f0022c","first_computed_at":"2026-05-18T03:53:31.075414Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:53:31.075414Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+zJMHijqleu+UvFnRMYAYUtaWFNK/kEEzb4dH3X13e17ymuxAIsRwxV4gVjXpa4JcojOZWJ92DcPqF4Y8PZ3BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:53:31.075958Z","signed_message":"canonical_sha256_bytes"},"source_id":"1206.3244","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e87df20ba1789f325a1fdd1aff063d58ef508cd63d2a8ae1ca1b4d9b738cd22b","sha256:fb1142238eda943997833e23585d739e1a2f55566b326e54a2b5a12921a10b57"],"state_sha256":"b473fca0648cc99e5b6328e231b43ac9d9f36f55476a206afe9e7e0044e6fb37"}