{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:4J3J2ZJYJBT4BKKBF2XMEEVY3T","short_pith_number":"pith:4J3J2ZJY","canonical_record":{"source":{"id":"1401.6686","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-26T20:32:35Z","cross_cats_sorted":["cs.CC","stat.ML"],"title_canon_sha256":"df9520233848f0faef049965c6f462fab32d0ef301798ae8d718ecf94fa5ec24","abstract_canon_sha256":"9af2848ca8abe3029ab27cc4f50b94eef9147e476d95cdbd1e3a6602404bd16f"},"schema_version":"1.0"},"canonical_sha256":"e2769d65384867c0a9412eaec212b8dcdb719c03200d47c94cbc441b85a2f218","source":{"kind":"arxiv","id":"1401.6686","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.6686","created_at":"2026-05-18T01:23:32Z"},{"alias_kind":"arxiv_version","alias_value":"1401.6686v3","created_at":"2026-05-18T01:23:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.6686","created_at":"2026-05-18T01:23:32Z"},{"alias_kind":"pith_short_12","alias_value":"4J3J2ZJYJBT4","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4J3J2ZJYJBT4BKKB","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4J3J2ZJY","created_at":"2026-05-18T12:28:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:4J3J2ZJYJBT4BKKBF2XMEEVY3T","target":"record","payload":{"canonical_record":{"source":{"id":"1401.6686","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-26T20:32:35Z","cross_cats_sorted":["cs.CC","stat.ML"],"title_canon_sha256":"df9520233848f0faef049965c6f462fab32d0ef301798ae8d718ecf94fa5ec24","abstract_canon_sha256":"9af2848ca8abe3029ab27cc4f50b94eef9147e476d95cdbd1e3a6602404bd16f"},"schema_version":"1.0"},"canonical_sha256":"e2769d65384867c0a9412eaec212b8dcdb719c03200d47c94cbc441b85a2f218","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:23:32.348192Z","signature_b64":"GHa2ZirHB4oEXgWbrA6ZjvcD3q1oTtHD/tkFArZ10HQtEK7k9KtHC9O2kJN3/kMim1IW1Q3vXjTth1rjIaoLCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e2769d65384867c0a9412eaec212b8dcdb719c03200d47c94cbc441b85a2f218","last_reissued_at":"2026-05-18T01:23:32.347493Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:23:32.347493Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.6686","source_version":3,"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-18T01:23:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EYOxcP7FeX8Pnfi78RoNnBZ1ey/3agg+ynr8i3qoSg33Dy6jIlAyJVZRqmFzUEx3nV7yohR01Ujqz9XDtXgNAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T22:11:55.222278Z"},"content_sha256":"abd5b157d1d59e08150f7952d973e687c0e54bb44db425a84d9ad55350a5b881","schema_version":"1.0","event_id":"sha256:abd5b157d1d59e08150f7952d973e687c0e54bb44db425a84d9ad55350a5b881"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:4J3J2ZJYJBT4BKKBF2XMEEVY3T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Perturbed Message Passing for Constraint Satisfaction Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","stat.ML"],"primary_cat":"cs.AI","authors_text":"Russell Greiner, Siamak Ravanbakhsh","submitted_at":"2014-01-26T20:32:35Z","abstract_excerpt":"We introduce an efficient message passing scheme for solving Constraint Satisfaction Problems (CSPs), which uses stochastic perturbation of Belief Propagation (BP) and Survey Propagation (SP) messages to bypass decimation and directly produce a single satisfying assignment. Our first CSP solver, called Perturbed Blief Propagation, smoothly interpolates two well-known inference procedures; it starts as BP and ends as a Gibbs sampler, which produces a single sample from the set of solutions. Moreover we apply a similar perturbation scheme to SP to produce another CSP solver, Perturbed Survey Pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.6686","kind":"arxiv","version":3},"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-18T01:23:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7MJ+8E1eskY/eKSGBo7GJGUJIOvdRD+Y6BljNjMGit5kNu+utkTtd9/DjE7TqP+CQRg/mPjCKKvAdMSvonq3Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T22:11:55.222979Z"},"content_sha256":"178ca017b6b340dfeea17b5e7ae4a6d82e175c6221362b8316c5f9c74ce4796a","schema_version":"1.0","event_id":"sha256:178ca017b6b340dfeea17b5e7ae4a6d82e175c6221362b8316c5f9c74ce4796a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4J3J2ZJYJBT4BKKBF2XMEEVY3T/bundle.json","state_url":"https://pith.science/pith/4J3J2ZJYJBT4BKKBF2XMEEVY3T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4J3J2ZJYJBT4BKKBF2XMEEVY3T/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-07T22:11:55Z","links":{"resolver":"https://pith.science/pith/4J3J2ZJYJBT4BKKBF2XMEEVY3T","bundle":"https://pith.science/pith/4J3J2ZJYJBT4BKKBF2XMEEVY3T/bundle.json","state":"https://pith.science/pith/4J3J2ZJYJBT4BKKBF2XMEEVY3T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4J3J2ZJYJBT4BKKBF2XMEEVY3T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:4J3J2ZJYJBT4BKKBF2XMEEVY3T","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":"9af2848ca8abe3029ab27cc4f50b94eef9147e476d95cdbd1e3a6602404bd16f","cross_cats_sorted":["cs.CC","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-26T20:32:35Z","title_canon_sha256":"df9520233848f0faef049965c6f462fab32d0ef301798ae8d718ecf94fa5ec24"},"schema_version":"1.0","source":{"id":"1401.6686","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.6686","created_at":"2026-05-18T01:23:32Z"},{"alias_kind":"arxiv_version","alias_value":"1401.6686v3","created_at":"2026-05-18T01:23:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.6686","created_at":"2026-05-18T01:23:32Z"},{"alias_kind":"pith_short_12","alias_value":"4J3J2ZJYJBT4","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4J3J2ZJYJBT4BKKB","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4J3J2ZJY","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:178ca017b6b340dfeea17b5e7ae4a6d82e175c6221362b8316c5f9c74ce4796a","target":"graph","created_at":"2026-05-18T01:23:32Z","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":"We introduce an efficient message passing scheme for solving Constraint Satisfaction Problems (CSPs), which uses stochastic perturbation of Belief Propagation (BP) and Survey Propagation (SP) messages to bypass decimation and directly produce a single satisfying assignment. Our first CSP solver, called Perturbed Blief Propagation, smoothly interpolates two well-known inference procedures; it starts as BP and ends as a Gibbs sampler, which produces a single sample from the set of solutions. Moreover we apply a similar perturbation scheme to SP to produce another CSP solver, Perturbed Survey Pro","authors_text":"Russell Greiner, Siamak Ravanbakhsh","cross_cats":["cs.CC","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-26T20:32:35Z","title":"Perturbed Message Passing for Constraint Satisfaction Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.6686","kind":"arxiv","version":3},"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:abd5b157d1d59e08150f7952d973e687c0e54bb44db425a84d9ad55350a5b881","target":"record","created_at":"2026-05-18T01:23:32Z","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":"9af2848ca8abe3029ab27cc4f50b94eef9147e476d95cdbd1e3a6602404bd16f","cross_cats_sorted":["cs.CC","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-26T20:32:35Z","title_canon_sha256":"df9520233848f0faef049965c6f462fab32d0ef301798ae8d718ecf94fa5ec24"},"schema_version":"1.0","source":{"id":"1401.6686","kind":"arxiv","version":3}},"canonical_sha256":"e2769d65384867c0a9412eaec212b8dcdb719c03200d47c94cbc441b85a2f218","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e2769d65384867c0a9412eaec212b8dcdb719c03200d47c94cbc441b85a2f218","first_computed_at":"2026-05-18T01:23:32.347493Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:23:32.347493Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GHa2ZirHB4oEXgWbrA6ZjvcD3q1oTtHD/tkFArZ10HQtEK7k9KtHC9O2kJN3/kMim1IW1Q3vXjTth1rjIaoLCw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:23:32.348192Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.6686","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:abd5b157d1d59e08150f7952d973e687c0e54bb44db425a84d9ad55350a5b881","sha256:178ca017b6b340dfeea17b5e7ae4a6d82e175c6221362b8316c5f9c74ce4796a"],"state_sha256":"8e4710b9b5036ead496ef48a874af5cd496bb032076a7041519b610666e73c7b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ut1Iy0Wm9h06dEaQY+WoEYVNRo2p9TxEeIdCdfXeZ2XTaw0qpBZ5GB+4L7TIvdyvl2PG66cR8r6Jx43EH9tEAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T22:11:55.226702Z","bundle_sha256":"6cb4d08c84bf79f03ee7374fd5d3dc61b21f01f6c0a4cead7ae3cd578420a2a5"}}