{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:USNTOVYDFWQSMHS7VIH5RLLN3M","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":"e3aa658a7dfa94142c13c177855059fdc13926a8549bc53a8633b27029875db3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cond-mat.dis-nn","submitted_at":"2010-04-23T21:51:02Z","title_canon_sha256":"d0683c171002f252391d050b1fdc310fd5dde9306a463d454cb435f898437060"},"schema_version":"1.0","source":{"id":"1004.4230","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1004.4230","created_at":"2026-05-18T02:07:54Z"},{"alias_kind":"arxiv_version","alias_value":"1004.4230v1","created_at":"2026-05-18T02:07:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.4230","created_at":"2026-05-18T02:07:54Z"},{"alias_kind":"pith_short_12","alias_value":"USNTOVYDFWQS","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_16","alias_value":"USNTOVYDFWQSMHS7","created_at":"2026-05-18T12:26:15Z"},{"alias_kind":"pith_short_8","alias_value":"USNTOVYD","created_at":"2026-05-18T12:26:15Z"}],"graph_snapshots":[{"event_id":"sha256:9d18d6e61cde7208ac4a5dbbe6215d6d62ad9dce2741785e83940558c0de2db4","target":"graph","created_at":"2026-05-18T02:07:54Z","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 solution-space structure of the 3-Satisfiability Problem (3-SAT) is studied as a function of the control parameter alpha (ratio of number of clauses to the number of variables) using numerical simulations. For this purpose, one has to sample the solution space with uniform weight. It is shown here that standard stochastic local-search (SLS) algorithms like \"ASAT\" and \"MCMCMC\" (also known as \"parallel tempering\") exhibit a sampling bias. Nevertheless, unbiased samples of solutions can be obtained using the \"ballistic-networking approach\", which is introduced here. It is a generalization of ","authors_text":"A.K. Hartmann, Alexander Mann","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cond-mat.dis-nn","submitted_at":"2010-04-23T21:51:02Z","title":"Numerical Solution-Space Analysis of Satisfiability Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.4230","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:dd2aa2a2e8dd3942f4556fc327512bdd8ccf433f0dbdb4eb9372d8540a0a12e9","target":"record","created_at":"2026-05-18T02:07:54Z","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":"e3aa658a7dfa94142c13c177855059fdc13926a8549bc53a8633b27029875db3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cond-mat.dis-nn","submitted_at":"2010-04-23T21:51:02Z","title_canon_sha256":"d0683c171002f252391d050b1fdc310fd5dde9306a463d454cb435f898437060"},"schema_version":"1.0","source":{"id":"1004.4230","kind":"arxiv","version":1}},"canonical_sha256":"a49b3757032da1261e5faa0fd8ad6ddb25ef8fcbdab35ec0f253fefd29831e97","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a49b3757032da1261e5faa0fd8ad6ddb25ef8fcbdab35ec0f253fefd29831e97","first_computed_at":"2026-05-18T02:07:54.378012Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:07:54.378012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XQHomh2qvZoHGRXdqrMNLIOOaAQvu6EFnGBDVo/ha3/0/my8w2isNlmfL7A+QLALIntcqKH/MDoreIbxI+ePDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:07:54.378762Z","signed_message":"canonical_sha256_bytes"},"source_id":"1004.4230","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dd2aa2a2e8dd3942f4556fc327512bdd8ccf433f0dbdb4eb9372d8540a0a12e9","sha256:9d18d6e61cde7208ac4a5dbbe6215d6d62ad9dce2741785e83940558c0de2db4"],"state_sha256":"3e65d4e6065208466de5175ba31e94e62ab1d63fab6541a1e7755247b7f1cc3c"}