{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:FN2ALCLKZGCHUT3S35GZ7VNNAO","short_pith_number":"pith:FN2ALCLK","canonical_record":{"source":{"id":"1206.3244","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-06-13T15:06:22Z","cross_cats_sorted":[],"title_canon_sha256":"469c40c65b2d0b5b9034e8c431971a1d210be1db798ca46b2fe4eff1929c8519","abstract_canon_sha256":"af900e2a1250759c7aa60d51b6f396e22ba427f3da3c77d88ac4d3972e3a012a"},"schema_version":"1.0"},"canonical_sha256":"2b7405896ac9847a4f72df4d9fd5ad039d3942c7786f7db6ed34b9b2e2f0022c","source":{"kind":"arxiv","id":"1206.3244","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:FN2ALCLKZGCHUT3S35GZ7VNNAO","target":"record","payload":{"canonical_record":{"source":{"id":"1206.3244","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-06-13T15:06:22Z","cross_cats_sorted":[],"title_canon_sha256":"469c40c65b2d0b5b9034e8c431971a1d210be1db798ca46b2fe4eff1929c8519","abstract_canon_sha256":"af900e2a1250759c7aa60d51b6f396e22ba427f3da3c77d88ac4d3972e3a012a"},"schema_version":"1.0"},"canonical_sha256":"2b7405896ac9847a4f72df4d9fd5ad039d3942c7786f7db6ed34b9b2e2f0022c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:53:31.075958Z","signature_b64":"+zJMHijqleu+UvFnRMYAYUtaWFNK/kEEzb4dH3X13e17ymuxAIsRwxV4gVjXpa4JcojOZWJ92DcPqF4Y8PZ3BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2b7405896ac9847a4f72df4d9fd5ad039d3942c7786f7db6ed34b9b2e2f0022c","last_reissued_at":"2026-05-18T03:53:31.075414Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:53:31.075414Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1206.3244","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:53:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MxHey+n4Umnb7tpNvBxIXUQoGvf0vqCMZIQPvZxphXwyDfoQ9Upbf3rWbdB38czoEAhwbu0pmDjaIdqPvFqBCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:09:57.149408Z"},"content_sha256":"e87df20ba1789f325a1fdd1aff063d58ef508cd63d2a8ae1ca1b4d9b738cd22b","schema_version":"1.0","event_id":"sha256:e87df20ba1789f325a1fdd1aff063d58ef508cd63d2a8ae1ca1b4d9b738cd22b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:FN2ALCLKZGCHUT3S35GZ7VNNAO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bayesian network learning by compiling to weighted MAX-SAT","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"James Cussens","submitted_at":"2012-06-13T15:06:22Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.3244","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:53:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6oqmawWksAdh6BNAzPyGpfZe8DfYpS86b5zdIzwdofR6oSiNrfuPG4PQH1mTuons2GACl9c6MPi4qadasBLjDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:09:57.149743Z"},"content_sha256":"fb1142238eda943997833e23585d739e1a2f55566b326e54a2b5a12921a10b57","schema_version":"1.0","event_id":"sha256:fb1142238eda943997833e23585d739e1a2f55566b326e54a2b5a12921a10b57"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FN2ALCLKZGCHUT3S35GZ7VNNAO/bundle.json","state_url":"https://pith.science/pith/FN2ALCLKZGCHUT3S35GZ7VNNAO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FN2ALCLKZGCHUT3S35GZ7VNNAO/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-01T21:09:57Z","links":{"resolver":"https://pith.science/pith/FN2ALCLKZGCHUT3S35GZ7VNNAO","bundle":"https://pith.science/pith/FN2ALCLKZGCHUT3S35GZ7VNNAO/bundle.json","state":"https://pith.science/pith/FN2ALCLKZGCHUT3S35GZ7VNNAO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FN2ALCLKZGCHUT3S35GZ7VNNAO/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"alCChof7Ys+tXnuAxLHwDkveLYOsHmel39kVKZcshdOObjZxr6bAwulLybxKY7d4lmoqkwdLDJWcOGfhuLpKAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T21:09:57.151522Z","bundle_sha256":"551ff0f14a11abdcab885ccd4ea7c89db5672c2083a3b216e6cab36301565429"}}