{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:FOMOJ3TZF7XUXPLNCRZP62UJPS","short_pith_number":"pith:FOMOJ3TZ","canonical_record":{"source":{"id":"1903.09820","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-23T13:27:32Z","cross_cats_sorted":[],"title_canon_sha256":"a85531ad9ecbdb737f01b49432662573dda4c8795ce860219ce04c53dc8af26c","abstract_canon_sha256":"4b6b9d249ef8e683d5c1e139a8d1d66c4bcde149873b2328a275f81dc7e508db"},"schema_version":"1.0"},"canonical_sha256":"2b98e4ee792fef4bbd6d1472ff6a897c844e409582db5877705db19249326e0a","source":{"kind":"arxiv","id":"1903.09820","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.09820","created_at":"2026-05-17T23:50:35Z"},{"alias_kind":"arxiv_version","alias_value":"1903.09820v1","created_at":"2026-05-17T23:50:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.09820","created_at":"2026-05-17T23:50:35Z"},{"alias_kind":"pith_short_12","alias_value":"FOMOJ3TZF7XU","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"FOMOJ3TZF7XUXPLN","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"FOMOJ3TZ","created_at":"2026-05-18T12:33:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:FOMOJ3TZF7XUXPLNCRZP62UJPS","target":"record","payload":{"canonical_record":{"source":{"id":"1903.09820","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-23T13:27:32Z","cross_cats_sorted":[],"title_canon_sha256":"a85531ad9ecbdb737f01b49432662573dda4c8795ce860219ce04c53dc8af26c","abstract_canon_sha256":"4b6b9d249ef8e683d5c1e139a8d1d66c4bcde149873b2328a275f81dc7e508db"},"schema_version":"1.0"},"canonical_sha256":"2b98e4ee792fef4bbd6d1472ff6a897c844e409582db5877705db19249326e0a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:50:35.395515Z","signature_b64":"9G+KfAVaWwC6ScAgEc/qOyZEM5PFmlGPjgSbHxrTH3Fo5ygn/5VUJTj/ONHVq/bzAQmXpO3fFG3MtM7vOJXQDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2b98e4ee792fef4bbd6d1472ff6a897c844e409582db5877705db19249326e0a","last_reissued_at":"2026-05-17T23:50:35.394886Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:50:35.394886Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.09820","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:50:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"brnddeU46/e/tHCKgKnY4TNxftHHN27x1LAn9RJcRouSDxBYfvAcoBc0tidxqLk7BD+r0xTzeMQJoLqoVM8cAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T19:15:50.752931Z"},"content_sha256":"35373295e50e5ba436fb9409d2acc00c808ec734b4774ad4d4974375f701f4e9","schema_version":"1.0","event_id":"sha256:35373295e50e5ba436fb9409d2acc00c808ec734b4774ad4d4974375f701f4e9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:FOMOJ3TZF7XUXPLNCRZP62UJPS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Pavel Surynek","submitted_at":"2019-03-23T13:27:32Z","abstract_excerpt":"This paper addresses a variant of multi-agent path finding (MAPF) in continuous space and time. We present a new solving approach based on satisfiability modulo theories (SMT) to obtain makespan optimal solutions. The standard MAPF is a task of navigating agents in an undirected graph from given starting vertices to given goal vertices so that agents do not collide with each other in vertices of the graph. In the continuous version (MAPF$^\\mathcal{R}$) agents move in an $n$-dimensional Euclidean space along straight lines that interconnect predefined positions. For simplicity, we work with cir"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.09820","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:50:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Tv3dyeIkgTyEkuUC5yOG1WZWZDTHBvj1r2TdUGw1wPtXvgCWvo6Ecnf91fzDD6zDOphVayXlXqKRByWVWg1wAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T19:15:50.753627Z"},"content_sha256":"502f7f9605d3800f1900b5d9264caa2536b0effe80421e81374c5fec2bf603a6","schema_version":"1.0","event_id":"sha256:502f7f9605d3800f1900b5d9264caa2536b0effe80421e81374c5fec2bf603a6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FOMOJ3TZF7XUXPLNCRZP62UJPS/bundle.json","state_url":"https://pith.science/pith/FOMOJ3TZF7XUXPLNCRZP62UJPS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FOMOJ3TZF7XUXPLNCRZP62UJPS/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-27T19:15:50Z","links":{"resolver":"https://pith.science/pith/FOMOJ3TZF7XUXPLNCRZP62UJPS","bundle":"https://pith.science/pith/FOMOJ3TZF7XUXPLNCRZP62UJPS/bundle.json","state":"https://pith.science/pith/FOMOJ3TZF7XUXPLNCRZP62UJPS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FOMOJ3TZF7XUXPLNCRZP62UJPS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:FOMOJ3TZF7XUXPLNCRZP62UJPS","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":"4b6b9d249ef8e683d5c1e139a8d1d66c4bcde149873b2328a275f81dc7e508db","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-23T13:27:32Z","title_canon_sha256":"a85531ad9ecbdb737f01b49432662573dda4c8795ce860219ce04c53dc8af26c"},"schema_version":"1.0","source":{"id":"1903.09820","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.09820","created_at":"2026-05-17T23:50:35Z"},{"alias_kind":"arxiv_version","alias_value":"1903.09820v1","created_at":"2026-05-17T23:50:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.09820","created_at":"2026-05-17T23:50:35Z"},{"alias_kind":"pith_short_12","alias_value":"FOMOJ3TZF7XU","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"FOMOJ3TZF7XUXPLN","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"FOMOJ3TZ","created_at":"2026-05-18T12:33:15Z"}],"graph_snapshots":[{"event_id":"sha256:502f7f9605d3800f1900b5d9264caa2536b0effe80421e81374c5fec2bf603a6","target":"graph","created_at":"2026-05-17T23:50:35Z","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":"This paper addresses a variant of multi-agent path finding (MAPF) in continuous space and time. We present a new solving approach based on satisfiability modulo theories (SMT) to obtain makespan optimal solutions. The standard MAPF is a task of navigating agents in an undirected graph from given starting vertices to given goal vertices so that agents do not collide with each other in vertices of the graph. In the continuous version (MAPF$^\\mathcal{R}$) agents move in an $n$-dimensional Euclidean space along straight lines that interconnect predefined positions. For simplicity, we work with cir","authors_text":"Pavel Surynek","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-23T13:27:32Z","title":"Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.09820","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:35373295e50e5ba436fb9409d2acc00c808ec734b4774ad4d4974375f701f4e9","target":"record","created_at":"2026-05-17T23:50:35Z","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":"4b6b9d249ef8e683d5c1e139a8d1d66c4bcde149873b2328a275f81dc7e508db","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-23T13:27:32Z","title_canon_sha256":"a85531ad9ecbdb737f01b49432662573dda4c8795ce860219ce04c53dc8af26c"},"schema_version":"1.0","source":{"id":"1903.09820","kind":"arxiv","version":1}},"canonical_sha256":"2b98e4ee792fef4bbd6d1472ff6a897c844e409582db5877705db19249326e0a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2b98e4ee792fef4bbd6d1472ff6a897c844e409582db5877705db19249326e0a","first_computed_at":"2026-05-17T23:50:35.394886Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:50:35.394886Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9G+KfAVaWwC6ScAgEc/qOyZEM5PFmlGPjgSbHxrTH3Fo5ygn/5VUJTj/ONHVq/bzAQmXpO3fFG3MtM7vOJXQDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:50:35.395515Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.09820","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:35373295e50e5ba436fb9409d2acc00c808ec734b4774ad4d4974375f701f4e9","sha256:502f7f9605d3800f1900b5d9264caa2536b0effe80421e81374c5fec2bf603a6"],"state_sha256":"2e0c9d25fa85c1c361a939d82a550f57fd77f3fd7a4ad8995b65ea77e2b8178a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1jJdWnlCLE29gh3xHeCs5myN0lu7ZF40KQ/6WyTOjP+Nvq6fVYjCPJ4zpzcxt7lKZpk+HbaxCi2cQIMp30q9Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T19:15:50.757260Z","bundle_sha256":"2f3ae5291eda9e3c01e67621be2a39fa6506290385465b604166e9005721c33f"}}