{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:EOZ3L2SFWPOR25L7J6X3I6UXPW","short_pith_number":"pith:EOZ3L2SF","canonical_record":{"source":{"id":"1804.10437","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-27T11:00:54Z","cross_cats_sorted":[],"title_canon_sha256":"1c931e5689a46dea4efe95fd10fcce221881a811259fbce64ef923682f308ff9","abstract_canon_sha256":"6f9cd69e3f7491d7723e008721f4aa249a0f0054d4ef53688e538517d031e64f"},"schema_version":"1.0"},"canonical_sha256":"23b3b5ea45b3dd1d757f4fafb47a977d8f876c3c754a67e806328e12a2a7967e","source":{"kind":"arxiv","id":"1804.10437","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.10437","created_at":"2026-05-18T00:17:20Z"},{"alias_kind":"arxiv_version","alias_value":"1804.10437v1","created_at":"2026-05-18T00:17:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.10437","created_at":"2026-05-18T00:17:20Z"},{"alias_kind":"pith_short_12","alias_value":"EOZ3L2SFWPOR","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"EOZ3L2SFWPOR25L7","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"EOZ3L2SF","created_at":"2026-05-18T12:32:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:EOZ3L2SFWPOR25L7J6X3I6UXPW","target":"record","payload":{"canonical_record":{"source":{"id":"1804.10437","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-27T11:00:54Z","cross_cats_sorted":[],"title_canon_sha256":"1c931e5689a46dea4efe95fd10fcce221881a811259fbce64ef923682f308ff9","abstract_canon_sha256":"6f9cd69e3f7491d7723e008721f4aa249a0f0054d4ef53688e538517d031e64f"},"schema_version":"1.0"},"canonical_sha256":"23b3b5ea45b3dd1d757f4fafb47a977d8f876c3c754a67e806328e12a2a7967e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:20.769881Z","signature_b64":"wZ/bdGdF0I70+YlfNplmI9fnybO9gw+bvRTOQ5VLNDApxWCzQmrljRyysWRTsPqo5QjdAbedDqxtanvhRLKNDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"23b3b5ea45b3dd1d757f4fafb47a977d8f876c3c754a67e806328e12a2a7967e","last_reissued_at":"2026-05-18T00:17:20.769400Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:20.769400Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.10437","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-18T00:17:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kMC0xCdpksL38fkDZlzWwrVFQ/nlYJamK0RPO6YYoT1LE4yXCW8D8V+cFr8+A25I+0MIaNopM/cQO23RvwM5Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T01:31:36.808764Z"},"content_sha256":"07d7c85d27f321debc0a011316732b96edd5116b262b722463d6dfbd5c9b28e3","schema_version":"1.0","event_id":"sha256:07d7c85d27f321debc0a011316732b96edd5116b262b722463d6dfbd5c9b28e3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:EOZ3L2SFWPOR25L7J6X3I6UXPW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Mario Runge, Martin Gebser, Michel Ratsch-Heitmann, Philipp Obermeier, Torsten Schaub","submitted_at":"2018-04-27T11:00:54Z","abstract_excerpt":"Automated storage and retrieval systems are principal components of modern production and warehouse facilities. In particular, automated guided vehicles nowadays substitute human-operated pallet trucks in transporting production materials between storage locations and assembly stations. While low-level control systems take care of navigating such driverless vehicles along programmed routes and avoid collisions even under unforeseen circumstances, in the common case of multiple vehicles sharing the same operation area, the problem remains how to set up routes such that a collection of transport"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.10437","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-18T00:17:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tlzvhgT4HqdRlcKTAEtcOqJRJ9oGPCQgdzPq9/2axN1il7WtDABufgNVLGYDOVS9suPguzsd4fEtVvyOsYRpDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T01:31:36.809379Z"},"content_sha256":"acacaeb8c86671e6d8dd7da709bbc1399bdab55696082b12cdc82f885e84ec6c","schema_version":"1.0","event_id":"sha256:acacaeb8c86671e6d8dd7da709bbc1399bdab55696082b12cdc82f885e84ec6c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW/bundle.json","state_url":"https://pith.science/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW/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-06-01T01:31:36Z","links":{"resolver":"https://pith.science/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW","bundle":"https://pith.science/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW/bundle.json","state":"https://pith.science/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EOZ3L2SFWPOR25L7J6X3I6UXPW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:EOZ3L2SFWPOR25L7J6X3I6UXPW","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":"6f9cd69e3f7491d7723e008721f4aa249a0f0054d4ef53688e538517d031e64f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-27T11:00:54Z","title_canon_sha256":"1c931e5689a46dea4efe95fd10fcce221881a811259fbce64ef923682f308ff9"},"schema_version":"1.0","source":{"id":"1804.10437","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.10437","created_at":"2026-05-18T00:17:20Z"},{"alias_kind":"arxiv_version","alias_value":"1804.10437v1","created_at":"2026-05-18T00:17:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.10437","created_at":"2026-05-18T00:17:20Z"},{"alias_kind":"pith_short_12","alias_value":"EOZ3L2SFWPOR","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"EOZ3L2SFWPOR25L7","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"EOZ3L2SF","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:acacaeb8c86671e6d8dd7da709bbc1399bdab55696082b12cdc82f885e84ec6c","target":"graph","created_at":"2026-05-18T00:17:20Z","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":"Automated storage and retrieval systems are principal components of modern production and warehouse facilities. In particular, automated guided vehicles nowadays substitute human-operated pallet trucks in transporting production materials between storage locations and assembly stations. While low-level control systems take care of navigating such driverless vehicles along programmed routes and avoid collisions even under unforeseen circumstances, in the common case of multiple vehicles sharing the same operation area, the problem remains how to set up routes such that a collection of transport","authors_text":"Mario Runge, Martin Gebser, Michel Ratsch-Heitmann, Philipp Obermeier, Torsten Schaub","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-27T11:00:54Z","title":"Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.10437","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:07d7c85d27f321debc0a011316732b96edd5116b262b722463d6dfbd5c9b28e3","target":"record","created_at":"2026-05-18T00:17:20Z","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":"6f9cd69e3f7491d7723e008721f4aa249a0f0054d4ef53688e538517d031e64f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-04-27T11:00:54Z","title_canon_sha256":"1c931e5689a46dea4efe95fd10fcce221881a811259fbce64ef923682f308ff9"},"schema_version":"1.0","source":{"id":"1804.10437","kind":"arxiv","version":1}},"canonical_sha256":"23b3b5ea45b3dd1d757f4fafb47a977d8f876c3c754a67e806328e12a2a7967e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"23b3b5ea45b3dd1d757f4fafb47a977d8f876c3c754a67e806328e12a2a7967e","first_computed_at":"2026-05-18T00:17:20.769400Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:20.769400Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wZ/bdGdF0I70+YlfNplmI9fnybO9gw+bvRTOQ5VLNDApxWCzQmrljRyysWRTsPqo5QjdAbedDqxtanvhRLKNDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:20.769881Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.10437","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:07d7c85d27f321debc0a011316732b96edd5116b262b722463d6dfbd5c9b28e3","sha256:acacaeb8c86671e6d8dd7da709bbc1399bdab55696082b12cdc82f885e84ec6c"],"state_sha256":"3087897a0c4ce6cc3784a119517f23aca5e80a3044d26f8788cd57cccd6fdaa3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7boz25xx3gnpj0B+i+B5l5PfAxdjaqZexp9XGp9sFLdA2yQXCPRLuPcP1SGaVowF1OcTcMKYm7brGk7ehjoZBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T01:31:36.813690Z","bundle_sha256":"9825c4d4f63f2f7aaa5351f116a85fb8b62fde2b86e5013b12b9f6e3957d905b"}}