{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:6NHE5SFM4K55DAPODAFFPXRK2I","short_pith_number":"pith:6NHE5SFM","canonical_record":{"source":{"id":"1309.6827","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-09-26T12:37:33Z","cross_cats_sorted":[],"title_canon_sha256":"f921b6a33432503dc6a5fb41115f5a9dfdb9ed04e6892127970a6877264ff5ee","abstract_canon_sha256":"2ff6d944d56f5db96c771ad9a44ce5e8f3bbc9a26c6cb98c18262515aa203371"},"schema_version":"1.0"},"canonical_sha256":"f34e4ec8ace2bbd181ee180a57de2ad21884c272fbfa6e7ad5d6520804610bfe","source":{"kind":"arxiv","id":"1309.6827","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.6827","created_at":"2026-05-18T03:12:10Z"},{"alias_kind":"arxiv_version","alias_value":"1309.6827v1","created_at":"2026-05-18T03:12:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.6827","created_at":"2026-05-18T03:12:10Z"},{"alias_kind":"pith_short_12","alias_value":"6NHE5SFM4K55","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"6NHE5SFM4K55DAPO","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"6NHE5SFM","created_at":"2026-05-18T12:27:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:6NHE5SFM4K55DAPODAFFPXRK2I","target":"record","payload":{"canonical_record":{"source":{"id":"1309.6827","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-09-26T12:37:33Z","cross_cats_sorted":[],"title_canon_sha256":"f921b6a33432503dc6a5fb41115f5a9dfdb9ed04e6892127970a6877264ff5ee","abstract_canon_sha256":"2ff6d944d56f5db96c771ad9a44ce5e8f3bbc9a26c6cb98c18262515aa203371"},"schema_version":"1.0"},"canonical_sha256":"f34e4ec8ace2bbd181ee180a57de2ad21884c272fbfa6e7ad5d6520804610bfe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:12:10.289281Z","signature_b64":"YJDskypii8+xYtZGr7+ANgsBMvKpDAV3LpeUHKWAvisf4IGAMQIccahRdLitYWA1XaiCpPbp0iM6Ha9JC8v0Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f34e4ec8ace2bbd181ee180a57de2ad21884c272fbfa6e7ad5d6520804610bfe","last_reissued_at":"2026-05-18T03:12:10.288554Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:12:10.288554Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1309.6827","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:12:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tnEmquAMC7Q9TUM5p57T1pO1W6fxUHRFTtgO/2wtrF1PERKDY8Vspuh7Q7eSWlZCh90lNjLXbUCxadvK5m+4Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T20:29:52.908696Z"},"content_sha256":"88054888738104e7687582c8b0e81d08b5aedc7a68670a73af6bfa6647187a56","schema_version":"1.0","event_id":"sha256:88054888738104e7687582c8b0e81d08b5aedc7a68670a73af6bfa6647187a56"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:6NHE5SFM4K55DAPODAFFPXRK2I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimization With Parity Constraints: From Binary Codes to Discrete Integration","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Ashish Sabharwal, Bart Selman, Carla P. Gomes, Stefano Ermon","submitted_at":"2013-09-26T12:37:33Z","abstract_excerpt":"Many probabilistic inference tasks involve summations over exponentially large sets. Recently, it has been shown that these problems can be reduced to solving a polynomial number of MAP inference queries for a model augmented with randomly generated parity constraints. By exploiting a connection with max-likelihood decoding of binary codes, we show that these optimizations are computationally hard. Inspired by iterative message passing decoding algorithms, we propose an Integer Linear Programming (ILP) formulation for the problem, enhanced with new sparsification techniques to improve decoding"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.6827","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:12:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+DhFgWXanUrmgMuU2GzQsM75G+R9FcbSgrqCpWGmDUKjJFygKnOmyYtpTJ9NT/ci4+W2/Vwkj+0n+t2RMqRgAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T20:29:52.909366Z"},"content_sha256":"437873c474d250e6682d82da1b8cb59d70e7f77f4d78412ead8da8020a97e520","schema_version":"1.0","event_id":"sha256:437873c474d250e6682d82da1b8cb59d70e7f77f4d78412ead8da8020a97e520"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6NHE5SFM4K55DAPODAFFPXRK2I/bundle.json","state_url":"https://pith.science/pith/6NHE5SFM4K55DAPODAFFPXRK2I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6NHE5SFM4K55DAPODAFFPXRK2I/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-02T20:29:52Z","links":{"resolver":"https://pith.science/pith/6NHE5SFM4K55DAPODAFFPXRK2I","bundle":"https://pith.science/pith/6NHE5SFM4K55DAPODAFFPXRK2I/bundle.json","state":"https://pith.science/pith/6NHE5SFM4K55DAPODAFFPXRK2I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6NHE5SFM4K55DAPODAFFPXRK2I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:6NHE5SFM4K55DAPODAFFPXRK2I","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":"2ff6d944d56f5db96c771ad9a44ce5e8f3bbc9a26c6cb98c18262515aa203371","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-09-26T12:37:33Z","title_canon_sha256":"f921b6a33432503dc6a5fb41115f5a9dfdb9ed04e6892127970a6877264ff5ee"},"schema_version":"1.0","source":{"id":"1309.6827","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.6827","created_at":"2026-05-18T03:12:10Z"},{"alias_kind":"arxiv_version","alias_value":"1309.6827v1","created_at":"2026-05-18T03:12:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.6827","created_at":"2026-05-18T03:12:10Z"},{"alias_kind":"pith_short_12","alias_value":"6NHE5SFM4K55","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"6NHE5SFM4K55DAPO","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"6NHE5SFM","created_at":"2026-05-18T12:27:36Z"}],"graph_snapshots":[{"event_id":"sha256:437873c474d250e6682d82da1b8cb59d70e7f77f4d78412ead8da8020a97e520","target":"graph","created_at":"2026-05-18T03:12:10Z","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":"Many probabilistic inference tasks involve summations over exponentially large sets. Recently, it has been shown that these problems can be reduced to solving a polynomial number of MAP inference queries for a model augmented with randomly generated parity constraints. By exploiting a connection with max-likelihood decoding of binary codes, we show that these optimizations are computationally hard. Inspired by iterative message passing decoding algorithms, we propose an Integer Linear Programming (ILP) formulation for the problem, enhanced with new sparsification techniques to improve decoding","authors_text":"Ashish Sabharwal, Bart Selman, Carla P. Gomes, Stefano Ermon","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-09-26T12:37:33Z","title":"Optimization With Parity Constraints: From Binary Codes to Discrete Integration"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.6827","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:88054888738104e7687582c8b0e81d08b5aedc7a68670a73af6bfa6647187a56","target":"record","created_at":"2026-05-18T03:12:10Z","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":"2ff6d944d56f5db96c771ad9a44ce5e8f3bbc9a26c6cb98c18262515aa203371","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-09-26T12:37:33Z","title_canon_sha256":"f921b6a33432503dc6a5fb41115f5a9dfdb9ed04e6892127970a6877264ff5ee"},"schema_version":"1.0","source":{"id":"1309.6827","kind":"arxiv","version":1}},"canonical_sha256":"f34e4ec8ace2bbd181ee180a57de2ad21884c272fbfa6e7ad5d6520804610bfe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f34e4ec8ace2bbd181ee180a57de2ad21884c272fbfa6e7ad5d6520804610bfe","first_computed_at":"2026-05-18T03:12:10.288554Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:12:10.288554Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YJDskypii8+xYtZGr7+ANgsBMvKpDAV3LpeUHKWAvisf4IGAMQIccahRdLitYWA1XaiCpPbp0iM6Ha9JC8v0Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:12:10.289281Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.6827","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:88054888738104e7687582c8b0e81d08b5aedc7a68670a73af6bfa6647187a56","sha256:437873c474d250e6682d82da1b8cb59d70e7f77f4d78412ead8da8020a97e520"],"state_sha256":"9c7f1fa4e08f2d2191259a39f92d9dc77ad66a3707521aae3795876980f701dc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zuUpakl1SgeP7q355ubjeUQhYK7w2kY9fAZ1q+RZbK165BD1L6BlezmMKwxKu52EQKo3DOc50gU351Z+gsHeBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T20:29:52.912954Z","bundle_sha256":"d3242b779b8bd037d675713ec5fe4cc16c38c930f6b9e2e76be0c23e6500aae9"}}