{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:LH5CSGQHRAMUN7NDWMBNIX3HEY","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":"87d2beedd843ab05d678d91d560cf0b0044844691030a4b3baa337d5f0c92438","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-08-23T07:41:56Z","title_canon_sha256":"a83f5442cfe6d63705360c01d7104ad2758c4c0ad5714b944e229c607b1ddb50"},"schema_version":"1.0","source":{"id":"2108.09988","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2108.09988","created_at":"2026-07-05T05:19:11Z"},{"alias_kind":"arxiv_version","alias_value":"2108.09988v5","created_at":"2026-07-05T05:19:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2108.09988","created_at":"2026-07-05T05:19:11Z"},{"alias_kind":"pith_short_12","alias_value":"LH5CSGQHRAMU","created_at":"2026-07-05T05:19:11Z"},{"alias_kind":"pith_short_16","alias_value":"LH5CSGQHRAMUN7ND","created_at":"2026-07-05T05:19:11Z"},{"alias_kind":"pith_short_8","alias_value":"LH5CSGQH","created_at":"2026-07-05T05:19:11Z"}],"graph_snapshots":[{"event_id":"sha256:3abef939cdb51f17485f344b1cd46d9f1e12f5ddbdfc058dd5c7827db33d7efb","target":"graph","created_at":"2026-07-05T05:19:11Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2108.09988/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Local search has been demonstrated as an efficient approach for two practical generalizations of the MaxSAT problem, namely Partial MaxSAT (PMS) and Weighted PMS (WPMS). In this work, we observe that most local search (W)PMS solvers usually flip a single variable per iteration. Such a mechanism may lead to relatively low-quality local optimal solutions, and may limit the diversity of search directions to escape from local optima. To address this issue, we propose a general strategy, called farsighted probabilistic sampling (FPS), to replace the single flipping mechanism so as to boost the loca","authors_text":"Jianrong Zhou, Jiongzhi Zheng, Kun He","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-08-23T07:41:56Z","title":"Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2108.09988","kind":"arxiv","version":5},"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:2b9790fc6767ec618aea3713d0d2de1012270279d2aa5489e873b434cd2719c4","target":"record","created_at":"2026-07-05T05:19:11Z","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":"87d2beedd843ab05d678d91d560cf0b0044844691030a4b3baa337d5f0c92438","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2021-08-23T07:41:56Z","title_canon_sha256":"a83f5442cfe6d63705360c01d7104ad2758c4c0ad5714b944e229c607b1ddb50"},"schema_version":"1.0","source":{"id":"2108.09988","kind":"arxiv","version":5}},"canonical_sha256":"59fa291a07881946fda3b302d45f67260fa241ed202a2b6e70d2e8e4c3075287","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"59fa291a07881946fda3b302d45f67260fa241ed202a2b6e70d2e8e4c3075287","first_computed_at":"2026-07-05T05:19:11.243262Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:19:11.243262Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Dar660a2Ut9LeCXAmXAQhFqoCAN62NfDMGnMPIfgej2Q1p1jop2xtVKfDs9m91DslTHF2xz7Kz5ha2F360rTAw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:19:11.243810Z","signed_message":"canonical_sha256_bytes"},"source_id":"2108.09988","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2b9790fc6767ec618aea3713d0d2de1012270279d2aa5489e873b434cd2719c4","sha256:3abef939cdb51f17485f344b1cd46d9f1e12f5ddbdfc058dd5c7827db33d7efb"],"state_sha256":"9f8364f0e3bbd6578930065cb542b262f05ff8b59001409c48265fca50066033"}