{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:VX73GQHYL2Y3VG3H2WE2QDY2SP","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":"a7b4aa461ef5599f0e3bcf6bcf25f03c2d4482c965954fae6dbc7ffbb05fed80","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-07-31T00:18:17Z","title_canon_sha256":"00ad0112740b9c54ff3fe4b3468de6a412e3ceda3487bedf016bae343a6433d7"},"schema_version":"1.0","source":{"id":"1907.13265","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.13265","created_at":"2026-07-05T01:39:54Z"},{"alias_kind":"arxiv_version","alias_value":"1907.13265v2","created_at":"2026-07-05T01:39:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.13265","created_at":"2026-07-05T01:39:54Z"},{"alias_kind":"pith_short_12","alias_value":"VX73GQHYL2Y3","created_at":"2026-07-05T01:39:54Z"},{"alias_kind":"pith_short_16","alias_value":"VX73GQHYL2Y3VG3H","created_at":"2026-07-05T01:39:54Z"},{"alias_kind":"pith_short_8","alias_value":"VX73GQHY","created_at":"2026-07-05T01:39:54Z"}],"graph_snapshots":[{"event_id":"sha256:9b313abf57689c8be47d28614b88169cdc54420774940ba655e6e1a34426feba","target":"graph","created_at":"2026-07-05T01:39: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1907.13265/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The distributed operating room (OR) scheduling problem aims to find an assignment of surgeries to ORs across collaborating hospitals that share their waiting lists and ORs. We propose a stochastic extension of this problem where surgery durations are considered to be uncertain. In order to obtain solutions for the challenging stochastic model, we use sample average approximation, and develop two enhanced decomposition frameworks that use logic-based Benders (LBBD) optimality cuts and binary decision diagram based Benders cuts. Specifically, to the best of our knowledge, deriving LBBD optimalit","authors_text":"Cheng Guo, David R. Urbach, Dionne M. Aleman, Merve Bodur","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-07-31T00:18:17Z","title":"Logic-based Benders Decomposition and Binary Decision Diagram Based Approaches for Stochastic Distributed Operating Room Scheduling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.13265","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:41048c530abdaccefb404e5156347d9b3b6cbdb1eb1c782deec02a3b8324e5b5","target":"record","created_at":"2026-07-05T01:39: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":"a7b4aa461ef5599f0e3bcf6bcf25f03c2d4482c965954fae6dbc7ffbb05fed80","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-07-31T00:18:17Z","title_canon_sha256":"00ad0112740b9c54ff3fe4b3468de6a412e3ceda3487bedf016bae343a6433d7"},"schema_version":"1.0","source":{"id":"1907.13265","kind":"arxiv","version":2}},"canonical_sha256":"adffb340f85eb1ba9b67d589a80f1a93ce1a68dad01fd1641f717bd8e71d0e01","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"adffb340f85eb1ba9b67d589a80f1a93ce1a68dad01fd1641f717bd8e71d0e01","first_computed_at":"2026-07-05T01:39:54.204185Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:39:54.204185Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mxK7IVxpVBn5tzStECBqre7btYWADoUOGKSE8DcqH1PzWIkW0AAJG+UwcbQpq6lc8uND2KLJdL70vX4WnBkLBA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:39:54.204534Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.13265","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:41048c530abdaccefb404e5156347d9b3b6cbdb1eb1c782deec02a3b8324e5b5","sha256:9b313abf57689c8be47d28614b88169cdc54420774940ba655e6e1a34426feba"],"state_sha256":"bdb2a87391f37210d792b5b6a4cf261ee2825639db7a60deaac1236554f3d9b4"}