{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VRVEL67OI74NKEOANACLH72N6N","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":"d7d0864c62366254c22d27e1ce849496ac1fd22312587566cdba18f0e3454149","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.OC","submitted_at":"2025-08-12T07:46:04Z","title_canon_sha256":"0d5b3fc43b4292979b9297c92ce0bb3b1f17858f87cd5c48907fd1a4586b5bd4"},"schema_version":"1.0","source":{"id":"2508.08702","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.08702","created_at":"2026-06-26T01:15:45Z"},{"alias_kind":"arxiv_version","alias_value":"2508.08702v2","created_at":"2026-06-26T01:15:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.08702","created_at":"2026-06-26T01:15:45Z"},{"alias_kind":"pith_short_12","alias_value":"VRVEL67OI74N","created_at":"2026-06-26T01:15:45Z"},{"alias_kind":"pith_short_16","alias_value":"VRVEL67OI74NKEOA","created_at":"2026-06-26T01:15:45Z"},{"alias_kind":"pith_short_8","alias_value":"VRVEL67O","created_at":"2026-06-26T01:15:45Z"}],"graph_snapshots":[{"event_id":"sha256:14b8543d7bb48763c845df9b3a6652223daf083982abd70ee2334a9f875c108d","target":"graph","created_at":"2026-06-26T01:15:45Z","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/2508.08702/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The market split problem was proposed by Cornu\\'ejols and Dawande in 1998 as benchmark problem for algorithms solving linear systems with binary variables. The recent (2025) Quantum Optimization Benchmark Library (QOBLIB) contains a set of feasible instances of the market split problem. In QOBLIB an instance of the market split problem is considered as solved as soon as at least one feasible solution has been found.\n  The market split problem seems to be difficult to solve with the conventional branch-and-cut approach of integer linear programming software which reportedly can handle QOBLIB in","authors_text":"Alfred Wassermann","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.OC","submitted_at":"2025-08-12T07:46:04Z","title":"Solving the Market Split Problem with Lattice Enumeration"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.08702","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:ee7c178e444569de16f583f3495356b9bb2859304c7c91d3631cf3e174877bd7","target":"record","created_at":"2026-06-26T01:15:45Z","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":"d7d0864c62366254c22d27e1ce849496ac1fd22312587566cdba18f0e3454149","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"math.OC","submitted_at":"2025-08-12T07:46:04Z","title_canon_sha256":"0d5b3fc43b4292979b9297c92ce0bb3b1f17858f87cd5c48907fd1a4586b5bd4"},"schema_version":"1.0","source":{"id":"2508.08702","kind":"arxiv","version":2}},"canonical_sha256":"ac6a45fbee47f8d511c06804b3ff4df36478cdaca92a9b3c6c026a3d45e11f66","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ac6a45fbee47f8d511c06804b3ff4df36478cdaca92a9b3c6c026a3d45e11f66","first_computed_at":"2026-06-26T01:15:45.349898Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-26T01:15:45.349898Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ySzXrf85LLKwRAaErTZ6/kvOXggAg7mAn5altojmqUHQLkyVXZFtDnJYG5tuo+aF1MACe3KYaSYXXHvUzrI4Bw==","signature_status":"signed_v1","signed_at":"2026-06-26T01:15:45.350364Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.08702","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ee7c178e444569de16f583f3495356b9bb2859304c7c91d3631cf3e174877bd7","sha256:14b8543d7bb48763c845df9b3a6652223daf083982abd70ee2334a9f875c108d"],"state_sha256":"1c3e2a0a4f685ab0978445c297dc918f48e867bb30ca729e2615dab7a6c4e083"}