{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:BYGMNWGP7SIT2UFCACRCMEZQIJ","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":"3de0ca11943e20af0af17c0ce7af941b7768714fd13bc70a332a704559d195d4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-05-11T05:38:24Z","title_canon_sha256":"eab41aab62e0a675ec9a50200a59c5a440678c0fc561df3154ef62702720b17d"},"schema_version":"1.0","source":{"id":"1505.02487","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.02487","created_at":"2026-05-18T02:16:18Z"},{"alias_kind":"arxiv_version","alias_value":"1505.02487v1","created_at":"2026-05-18T02:16:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.02487","created_at":"2026-05-18T02:16:18Z"},{"alias_kind":"pith_short_12","alias_value":"BYGMNWGP7SIT","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_16","alias_value":"BYGMNWGP7SIT2UFC","created_at":"2026-05-18T12:29:14Z"},{"alias_kind":"pith_short_8","alias_value":"BYGMNWGP","created_at":"2026-05-18T12:29:14Z"}],"graph_snapshots":[{"event_id":"sha256:b8f175dcc1000afba8475f6b11b6318a3c2c0238fc0315045b7bec2597a064a2","target":"graph","created_at":"2026-05-18T02:16:18Z","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":"Large-scale controlled evacuations require emergency services to select evacuation routes, decide departure times, and mobilize resources to issue orders, all under strict time constraints. Existing algorithms almost always allow for preemptive evacuation schedules, which are less desirable in practice. This paper proposes, for the first time, a constraint-based scheduling model that optimizes the evacuation flow rate (number of vehicles sent at regular time intervals) and evacuation phasing of widely populated areas, while ensuring a nonpreemptive evacuation for each residential zone. Two opt","authors_text":"Andreas Schutt, Caroline Even, Pascal Van Hentenryck","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-05-11T05:38:24Z","title":"A Constraint Programming Approach for Non-Preemptive Evacuation Scheduling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.02487","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:dac26bd40805f878ef3f8fa38d93813e84817fb4b59c9c1ff60e57207c9ef551","target":"record","created_at":"2026-05-18T02:16:18Z","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":"3de0ca11943e20af0af17c0ce7af941b7768714fd13bc70a332a704559d195d4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-05-11T05:38:24Z","title_canon_sha256":"eab41aab62e0a675ec9a50200a59c5a440678c0fc561df3154ef62702720b17d"},"schema_version":"1.0","source":{"id":"1505.02487","kind":"arxiv","version":1}},"canonical_sha256":"0e0cc6d8cffc913d50a200a2261330426050e5113cb90d751a4579606e1c5d17","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0e0cc6d8cffc913d50a200a2261330426050e5113cb90d751a4579606e1c5d17","first_computed_at":"2026-05-18T02:16:18.661472Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:16:18.661472Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2kGmo+l0GDsM0iqdPicTsrXCtmBt/kQy0O/yV2j+fcMfTg8UQbJ75vgdECfi1RwzUrqZs1+2RrIGoDyvfJc+Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:16:18.662118Z","signed_message":"canonical_sha256_bytes"},"source_id":"1505.02487","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dac26bd40805f878ef3f8fa38d93813e84817fb4b59c9c1ff60e57207c9ef551","sha256:b8f175dcc1000afba8475f6b11b6318a3c2c0238fc0315045b7bec2597a064a2"],"state_sha256":"2c5f714743bd58ec6f04c0946b1809c0aa5997c269c00744ed320a01fd201bbb"}