{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:7TTVITDINASHVHXY5EKU333GCR","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":"ec038f4df9342c2e9a2ddd788db29bce8521444e7929e4ad452e7cc11b8f6d17","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-10-18T06:42:45Z","title_canon_sha256":"2ca33cb6c341319c7ec81d6d2ed1affe6d6b68227265f9452e2e4954d656298a"},"schema_version":"1.0","source":{"id":"1610.05452","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.05452","created_at":"2026-05-18T01:01:59Z"},{"alias_kind":"arxiv_version","alias_value":"1610.05452v1","created_at":"2026-05-18T01:01:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.05452","created_at":"2026-05-18T01:01:59Z"},{"alias_kind":"pith_short_12","alias_value":"7TTVITDINASH","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_16","alias_value":"7TTVITDINASHVHXY","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_8","alias_value":"7TTVITDI","created_at":"2026-05-18T12:30:04Z"}],"graph_snapshots":[{"event_id":"sha256:aabd717f7002e49f2bcb544b1e8de2383c1f360ecd29cc7f82e33c0931bafe2f","target":"graph","created_at":"2026-05-18T01:01:59Z","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":"The problem of makespan optimal solving of cooperative path finding (CPF) is addressed in this paper. The task in CPF is to relocate a group of agents in a non-colliding way so that each agent eventually reaches its goal location from the given initial location. The abstraction adopted in this work assumes that agents are discrete items moving in an undirected graph by traversing edges. Makespan optimal solving of CPF means to generate solutions that are as short as possi-ble in terms of the total number of time steps required for the execution of the solution.\n  We show that reducing CPF to p","authors_text":"Pavel Surynek","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-10-18T06:42:45Z","title":"Makespan Optimal Solving of Cooperative Path-Finding via Reductions to Propositional Satisfiability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.05452","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:c066d6ef938a767d359ebddf739a1f4305f72453f670ef999d240eb84df8c01a","target":"record","created_at":"2026-05-18T01:01:59Z","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":"ec038f4df9342c2e9a2ddd788db29bce8521444e7929e4ad452e7cc11b8f6d17","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-10-18T06:42:45Z","title_canon_sha256":"2ca33cb6c341319c7ec81d6d2ed1affe6d6b68227265f9452e2e4954d656298a"},"schema_version":"1.0","source":{"id":"1610.05452","kind":"arxiv","version":1}},"canonical_sha256":"fce7544c6868247a9ef8e9154def661457bad905f6d3d27bb96cea15e03bfc5e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fce7544c6868247a9ef8e9154def661457bad905f6d3d27bb96cea15e03bfc5e","first_computed_at":"2026-05-18T01:01:59.281073Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:01:59.281073Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UJXIOQIO6VvZPXiMKVWLZ7MXSJ7RXhtTLdij66uK2RxwnF9pvHqzsuSlfd91tgx1+tqHkAgccJ3cLXnlN0M8Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:01:59.281795Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.05452","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c066d6ef938a767d359ebddf739a1f4305f72453f670ef999d240eb84df8c01a","sha256:aabd717f7002e49f2bcb544b1e8de2383c1f360ecd29cc7f82e33c0931bafe2f"],"state_sha256":"ec23f9a399c0467c17aa43d657f1ffa41fa8b34cd53c45a2c0c398992712b09f"}