{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:Z7D32AJFYPCG6NFXEP4526HGUN","short_pith_number":"pith:Z7D32AJF","canonical_record":{"source":{"id":"2503.05071","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2025-03-07T01:31:40Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f35ea1c7b48bd8620d7bb89011719ccbb1cbedc7883f90a01a6e76e7d3a0ad05","abstract_canon_sha256":"79a99c368d8c710749adb7390dda99b11cdc6549ff55fb2ce8b3785cd75202fc"},"schema_version":"1.0"},"canonical_sha256":"cfc7bd0125c3c46f34b723f9dd78e6a36b2d1830e5ec3b8d6df95c403070a525","source":{"kind":"arxiv","id":"2503.05071","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.05071","created_at":"2026-07-05T10:26:19Z"},{"alias_kind":"arxiv_version","alias_value":"2503.05071v1","created_at":"2026-07-05T10:26:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.05071","created_at":"2026-07-05T10:26:19Z"},{"alias_kind":"pith_short_12","alias_value":"Z7D32AJFYPCG","created_at":"2026-07-05T10:26:19Z"},{"alias_kind":"pith_short_16","alias_value":"Z7D32AJFYPCG6NFX","created_at":"2026-07-05T10:26:19Z"},{"alias_kind":"pith_short_8","alias_value":"Z7D32AJF","created_at":"2026-07-05T10:26:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:Z7D32AJFYPCG6NFXEP4526HGUN","target":"record","payload":{"canonical_record":{"source":{"id":"2503.05071","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2025-03-07T01:31:40Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"f35ea1c7b48bd8620d7bb89011719ccbb1cbedc7883f90a01a6e76e7d3a0ad05","abstract_canon_sha256":"79a99c368d8c710749adb7390dda99b11cdc6549ff55fb2ce8b3785cd75202fc"},"schema_version":"1.0"},"canonical_sha256":"cfc7bd0125c3c46f34b723f9dd78e6a36b2d1830e5ec3b8d6df95c403070a525","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:26:19.620749Z","signature_b64":"aj8LWng6K574uqTHPjuibLQLE3OFlArsvpFd2senVDnEMnPhoXTonDBCUxApIpzAYOPxGRr72rCMUd0UNinYAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cfc7bd0125c3c46f34b723f9dd78e6a36b2d1830e5ec3b8d6df95c403070a525","last_reissued_at":"2026-07-05T10:26:19.620187Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:26:19.620187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.05071","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-07-05T10:26:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kPbDuGsEiAf72jKwfsWXUM275vI/euRWq9+U17wvzSQaHdO0niPQOJInvyCzurFCDMOwQT/OJJbqsqTFnhsBAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T19:47:49.042531Z"},"content_sha256":"4436a5d051af62b013cd9363e7fd88a867e38fa130843fb3a0ee5e67988c1a11","schema_version":"1.0","event_id":"sha256:4436a5d051af62b013cd9363e7fd88a867e38fa130843fb3a0ee5e67988c1a11"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:Z7D32AJFYPCG6NFXEP4526HGUN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CG","authors_text":"Luk\\'a\\v{s} Mat\\v{e}na, Pavel Surynek, Petr Kubi\\v{s}, Vojt\\v{e}ch Bubn\\'ik","submitted_at":"2025-03-07T01:31:40Z","abstract_excerpt":"We address the problem of object arrangement and scheduling for sequential 3D printing. Unlike the standard 3D printing, where all objects are printed slice by slice at once, in sequential 3D printing, objects are completed one after other. In the sequential case, it is necessary to ensure that the moving parts of the printer do not collide with previously printed objects. We look at the sequential printing problem from the perspective of combinatorial optimization. We propose to express the problem as a linear arithmetic formula, which is then solved using a solver for satisfiability modulo t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.05071","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2503.05071/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T10:26:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qqJgqqUuJ73o0hecF7ZYs+Sqd1hrhs+Dz8pEF+b0ot/KZwuWkcDzQFaa14UIFTjfLQZNMbe5kl8mnH6LIXwMAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T19:47:49.043434Z"},"content_sha256":"b85e994a14c2c7fb56cecf601bae9c32ced3a4dddb1f27bb656e297a8ccd9638","schema_version":"1.0","event_id":"sha256:b85e994a14c2c7fb56cecf601bae9c32ced3a4dddb1f27bb656e297a8ccd9638"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Z7D32AJFYPCG6NFXEP4526HGUN/bundle.json","state_url":"https://pith.science/pith/Z7D32AJFYPCG6NFXEP4526HGUN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Z7D32AJFYPCG6NFXEP4526HGUN/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-08-08T19:47:49Z","links":{"resolver":"https://pith.science/pith/Z7D32AJFYPCG6NFXEP4526HGUN","bundle":"https://pith.science/pith/Z7D32AJFYPCG6NFXEP4526HGUN/bundle.json","state":"https://pith.science/pith/Z7D32AJFYPCG6NFXEP4526HGUN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Z7D32AJFYPCG6NFXEP4526HGUN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:Z7D32AJFYPCG6NFXEP4526HGUN","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":"79a99c368d8c710749adb7390dda99b11cdc6549ff55fb2ce8b3785cd75202fc","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2025-03-07T01:31:40Z","title_canon_sha256":"f35ea1c7b48bd8620d7bb89011719ccbb1cbedc7883f90a01a6e76e7d3a0ad05"},"schema_version":"1.0","source":{"id":"2503.05071","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.05071","created_at":"2026-07-05T10:26:19Z"},{"alias_kind":"arxiv_version","alias_value":"2503.05071v1","created_at":"2026-07-05T10:26:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.05071","created_at":"2026-07-05T10:26:19Z"},{"alias_kind":"pith_short_12","alias_value":"Z7D32AJFYPCG","created_at":"2026-07-05T10:26:19Z"},{"alias_kind":"pith_short_16","alias_value":"Z7D32AJFYPCG6NFX","created_at":"2026-07-05T10:26:19Z"},{"alias_kind":"pith_short_8","alias_value":"Z7D32AJF","created_at":"2026-07-05T10:26:19Z"}],"graph_snapshots":[{"event_id":"sha256:b85e994a14c2c7fb56cecf601bae9c32ced3a4dddb1f27bb656e297a8ccd9638","target":"graph","created_at":"2026-07-05T10:26:19Z","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/2503.05071/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We address the problem of object arrangement and scheduling for sequential 3D printing. Unlike the standard 3D printing, where all objects are printed slice by slice at once, in sequential 3D printing, objects are completed one after other. In the sequential case, it is necessary to ensure that the moving parts of the printer do not collide with previously printed objects. We look at the sequential printing problem from the perspective of combinatorial optimization. We propose to express the problem as a linear arithmetic formula, which is then solved using a solver for satisfiability modulo t","authors_text":"Luk\\'a\\v{s} Mat\\v{e}na, Pavel Surynek, Petr Kubi\\v{s}, Vojt\\v{e}ch Bubn\\'ik","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2025-03-07T01:31:40Z","title":"Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.05071","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:4436a5d051af62b013cd9363e7fd88a867e38fa130843fb3a0ee5e67988c1a11","target":"record","created_at":"2026-07-05T10:26:19Z","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":"79a99c368d8c710749adb7390dda99b11cdc6549ff55fb2ce8b3785cd75202fc","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2025-03-07T01:31:40Z","title_canon_sha256":"f35ea1c7b48bd8620d7bb89011719ccbb1cbedc7883f90a01a6e76e7d3a0ad05"},"schema_version":"1.0","source":{"id":"2503.05071","kind":"arxiv","version":1}},"canonical_sha256":"cfc7bd0125c3c46f34b723f9dd78e6a36b2d1830e5ec3b8d6df95c403070a525","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cfc7bd0125c3c46f34b723f9dd78e6a36b2d1830e5ec3b8d6df95c403070a525","first_computed_at":"2026-07-05T10:26:19.620187Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:26:19.620187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aj8LWng6K574uqTHPjuibLQLE3OFlArsvpFd2senVDnEMnPhoXTonDBCUxApIpzAYOPxGRr72rCMUd0UNinYAA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:26:19.620749Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.05071","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4436a5d051af62b013cd9363e7fd88a867e38fa130843fb3a0ee5e67988c1a11","sha256:b85e994a14c2c7fb56cecf601bae9c32ced3a4dddb1f27bb656e297a8ccd9638"],"state_sha256":"b057fef9943000b3ca901a34f7a4778ff5c9cfa43ecea5475f03ed0e7df6133e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R7dBP05voOOYsnY5JL57uV1kYA2q3l/zFj10/IRna1/6gWVXHE6uKapeTa6Xs6xxhsE5+rKK3M/x1Ubnzb52Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T19:47:49.107961Z","bundle_sha256":"1078c89c090e3eb36f48da77547098e63d41c1f2dbd15ee541f4933ab92e1dac"}}