{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:EB4HM6GM6X4RIEVY3ZP4BUNNOM","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":"5457dac7ef4030d822cb11f7b1f7affdc99571f0e8641bc9e6c97ea5ee35c64e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-11-29T08:19:26Z","title_canon_sha256":"bf86ba19392ab71a6a4db0520a2ad3d1f98e91a5996b6e81db704493549b7dc3"},"schema_version":"1.0","source":{"id":"2211.16011","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.16011","created_at":"2026-07-05T05:20:20Z"},{"alias_kind":"arxiv_version","alias_value":"2211.16011v1","created_at":"2026-07-05T05:20:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.16011","created_at":"2026-07-05T05:20:20Z"},{"alias_kind":"pith_short_12","alias_value":"EB4HM6GM6X4R","created_at":"2026-07-05T05:20:20Z"},{"alias_kind":"pith_short_16","alias_value":"EB4HM6GM6X4RIEVY","created_at":"2026-07-05T05:20:20Z"},{"alias_kind":"pith_short_8","alias_value":"EB4HM6GM","created_at":"2026-07-05T05:20:20Z"}],"graph_snapshots":[{"event_id":"sha256:6133d5757cad78e199b812e36337b95ebc22ea8f568689aa1b823fd0e682e903","target":"graph","created_at":"2026-07-05T05:20:20Z","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/2211.16011/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Partial MaxSAT (PMS) and Weighted PMS (WPMS) are two practical generalizations of the MaxSAT problem. In this paper, we propose a local search algorithm for these problems, called BandHS, which applies two multi-armed bandits to guide the search directions when escaping local optima. One bandit is combined with all the soft clauses to help the algorithm select to satisfy appropriate soft clauses, and the other bandit with all the literals in hard clauses to help the algorithm select appropriate literals to satisfy the hard clauses. These two bandits can improve the algorithm's search ability i","authors_text":"Chu-Min Li, Felip Many\\`a, Jianrong Zhou, Jiongzhi Zheng, Kun He, Yan Jin","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-11-29T08:19:26Z","title":"Incorporating Multi-armed Bandit with Local Search for MaxSAT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.16011","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:72d12fb4d33d21d0196f8e056880ba1ccf0d79829d393b7307b01cb3723ae703","target":"record","created_at":"2026-07-05T05:20:20Z","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":"5457dac7ef4030d822cb11f7b1f7affdc99571f0e8641bc9e6c97ea5ee35c64e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2022-11-29T08:19:26Z","title_canon_sha256":"bf86ba19392ab71a6a4db0520a2ad3d1f98e91a5996b6e81db704493549b7dc3"},"schema_version":"1.0","source":{"id":"2211.16011","kind":"arxiv","version":1}},"canonical_sha256":"20787678ccf5f91412b8de5fc0d1ad732c505de50723b17ef6c8fe39a74f575a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"20787678ccf5f91412b8de5fc0d1ad732c505de50723b17ef6c8fe39a74f575a","first_computed_at":"2026-07-05T05:20:20.917933Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:20:20.917933Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gwty3WSWYkiX3Ma/MvCBDsq9uf1/t8x0L64RQrfXGjIH3BYRzPOeZ1FCy2+1SuFY5amrbY75t/SFyH3gTcOTDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:20:20.918432Z","signed_message":"canonical_sha256_bytes"},"source_id":"2211.16011","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:72d12fb4d33d21d0196f8e056880ba1ccf0d79829d393b7307b01cb3723ae703","sha256:6133d5757cad78e199b812e36337b95ebc22ea8f568689aa1b823fd0e682e903"],"state_sha256":"838d019283e9486ebd61ffb10c00fb146e6ab2f18c2aba4fd097c96597542a8f"}