{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:V5RPKOFVYRK523DW3W3NITAIBW","short_pith_number":"pith:V5RPKOFV","canonical_record":{"source":{"id":"1610.00442","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-10-03T08:30:47Z","cross_cats_sorted":[],"title_canon_sha256":"2ff48578e61a6c57f7fca8c980a6fbd9c231b1beb989e61c118a13e963e240ca","abstract_canon_sha256":"3444ec7e4b961b52f1f89190eb6af1ea7947978ad0b08b3221d22de3e8cfa6fd"},"schema_version":"1.0"},"canonical_sha256":"af62f538b5c455dd6c76ddb6d44c080d8a23b8ee9d6b0e09026a78dc9c5f99b4","source":{"kind":"arxiv","id":"1610.00442","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.00442","created_at":"2026-05-18T00:01:44Z"},{"alias_kind":"arxiv_version","alias_value":"1610.00442v2","created_at":"2026-05-18T00:01:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.00442","created_at":"2026-05-18T00:01:44Z"},{"alias_kind":"pith_short_12","alias_value":"V5RPKOFVYRK5","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"V5RPKOFVYRK523DW","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"V5RPKOFV","created_at":"2026-05-18T12:30:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:V5RPKOFVYRK523DW3W3NITAIBW","target":"record","payload":{"canonical_record":{"source":{"id":"1610.00442","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-10-03T08:30:47Z","cross_cats_sorted":[],"title_canon_sha256":"2ff48578e61a6c57f7fca8c980a6fbd9c231b1beb989e61c118a13e963e240ca","abstract_canon_sha256":"3444ec7e4b961b52f1f89190eb6af1ea7947978ad0b08b3221d22de3e8cfa6fd"},"schema_version":"1.0"},"canonical_sha256":"af62f538b5c455dd6c76ddb6d44c080d8a23b8ee9d6b0e09026a78dc9c5f99b4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:44.015735Z","signature_b64":"a/hGfoREMmkr4UFnXTJK/XwjFy5UVaqulkyEWC3LQdqLZRM4G3kbmrhrwnZPAW4VTawz9yerQFBmwxOEyFL0Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"af62f538b5c455dd6c76ddb6d44c080d8a23b8ee9d6b0e09026a78dc9c5f99b4","last_reissued_at":"2026-05-18T00:01:44.015205Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:44.015205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.00442","source_version":2,"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-18T00:01:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sjqwcQXnzFQmas01BDn3u/W2l2cDL69z/2X/Hfb96lWhEt/wE71gMDh4kHJNPEbRT/rUEhva2hU7k/8rDhegBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T15:02:39.441053Z"},"content_sha256":"af2e0032041dd9ce7ca88c56fb5fc5bbe553891d210911ff720dff322acc457f","schema_version":"1.0","event_id":"sha256:af2e0032041dd9ce7ca88c56fb5fc5bbe553891d210911ff720dff322acc457f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:V5RPKOFVYRK523DW3W3NITAIBW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Should Algorithms for Random SAT and Max-SAT be Different?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Gerard de Melo, Sixue Liu","submitted_at":"2016-10-03T08:30:47Z","abstract_excerpt":"We analyze to what extent the random SAT and Max-SAT problems differ in their properties. Our findings suggest that for random $k$-CNF with ratio in a certain range, Max-SAT can be solved by any SAT algorithm with subexponential slowdown, while for formulae with ratios greater than some constant, algorithms under the random walk framework require substantially different heuristics. In light of these results, we propose a novel probabilistic approach for random Max-SAT called ProMS. Experimental results illustrate that ProMS outperforms many state-of-the-art local search solvers on random Max-S"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.00442","kind":"arxiv","version":2},"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-18T00:01:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4vglnuOrVDVtlecbGMjfSeKh9kOhwHRNgsdzK4iLKSv+/XORcpPxEPpXZ4hwE4efrcJabw6oROW5JKN9riySAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T15:02:39.441764Z"},"content_sha256":"9db87a7f9222b83470cd4d39b08977f5b116353349a5860dc2d86df7d4527f39","schema_version":"1.0","event_id":"sha256:9db87a7f9222b83470cd4d39b08977f5b116353349a5860dc2d86df7d4527f39"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V5RPKOFVYRK523DW3W3NITAIBW/bundle.json","state_url":"https://pith.science/pith/V5RPKOFVYRK523DW3W3NITAIBW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V5RPKOFVYRK523DW3W3NITAIBW/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-05-31T15:02:39Z","links":{"resolver":"https://pith.science/pith/V5RPKOFVYRK523DW3W3NITAIBW","bundle":"https://pith.science/pith/V5RPKOFVYRK523DW3W3NITAIBW/bundle.json","state":"https://pith.science/pith/V5RPKOFVYRK523DW3W3NITAIBW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V5RPKOFVYRK523DW3W3NITAIBW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:V5RPKOFVYRK523DW3W3NITAIBW","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":"3444ec7e4b961b52f1f89190eb6af1ea7947978ad0b08b3221d22de3e8cfa6fd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-10-03T08:30:47Z","title_canon_sha256":"2ff48578e61a6c57f7fca8c980a6fbd9c231b1beb989e61c118a13e963e240ca"},"schema_version":"1.0","source":{"id":"1610.00442","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.00442","created_at":"2026-05-18T00:01:44Z"},{"alias_kind":"arxiv_version","alias_value":"1610.00442v2","created_at":"2026-05-18T00:01:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.00442","created_at":"2026-05-18T00:01:44Z"},{"alias_kind":"pith_short_12","alias_value":"V5RPKOFVYRK5","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"V5RPKOFVYRK523DW","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"V5RPKOFV","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:9db87a7f9222b83470cd4d39b08977f5b116353349a5860dc2d86df7d4527f39","target":"graph","created_at":"2026-05-18T00:01:44Z","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 analyze to what extent the random SAT and Max-SAT problems differ in their properties. Our findings suggest that for random $k$-CNF with ratio in a certain range, Max-SAT can be solved by any SAT algorithm with subexponential slowdown, while for formulae with ratios greater than some constant, algorithms under the random walk framework require substantially different heuristics. In light of these results, we propose a novel probabilistic approach for random Max-SAT called ProMS. Experimental results illustrate that ProMS outperforms many state-of-the-art local search solvers on random Max-S","authors_text":"Gerard de Melo, Sixue Liu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-10-03T08:30:47Z","title":"Should Algorithms for Random SAT and Max-SAT be Different?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.00442","kind":"arxiv","version":2},"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:af2e0032041dd9ce7ca88c56fb5fc5bbe553891d210911ff720dff322acc457f","target":"record","created_at":"2026-05-18T00:01:44Z","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":"3444ec7e4b961b52f1f89190eb6af1ea7947978ad0b08b3221d22de3e8cfa6fd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-10-03T08:30:47Z","title_canon_sha256":"2ff48578e61a6c57f7fca8c980a6fbd9c231b1beb989e61c118a13e963e240ca"},"schema_version":"1.0","source":{"id":"1610.00442","kind":"arxiv","version":2}},"canonical_sha256":"af62f538b5c455dd6c76ddb6d44c080d8a23b8ee9d6b0e09026a78dc9c5f99b4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"af62f538b5c455dd6c76ddb6d44c080d8a23b8ee9d6b0e09026a78dc9c5f99b4","first_computed_at":"2026-05-18T00:01:44.015205Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:44.015205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a/hGfoREMmkr4UFnXTJK/XwjFy5UVaqulkyEWC3LQdqLZRM4G3kbmrhrwnZPAW4VTawz9yerQFBmwxOEyFL0Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:44.015735Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.00442","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af2e0032041dd9ce7ca88c56fb5fc5bbe553891d210911ff720dff322acc457f","sha256:9db87a7f9222b83470cd4d39b08977f5b116353349a5860dc2d86df7d4527f39"],"state_sha256":"504a968b66828625371500a71eed0708e26ca6cb69d2c8d226d8044ef22a10df"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pM7LgYD3alvmNz9eKQ+LLqiZWNaJqHBOO8hgBVeUjRauO2ohLiktUjIT7T9jY/92jyvsbObhXgRjrzlQC+MNDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T15:02:39.445897Z","bundle_sha256":"c85b4d9bf17b24915f56d8d66cf889ed94c552892ff808468490015c380bcba3"}}