{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:NP3UKY3I4IE2GW5SSC52COY6E5","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":"1239dbe55ccf8cbe457df40f1c3f989fa92f4a596047fbba36e118ef7d9d00a8","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-07-23T11:29:44Z","title_canon_sha256":"d59a923024229d86c9a9d63f9ea9d576aba49e4901b5752d877ad50205c968e1"},"schema_version":"1.0","source":{"id":"2507.17422","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.17422","created_at":"2026-07-05T11:42:07Z"},{"alias_kind":"arxiv_version","alias_value":"2507.17422v1","created_at":"2026-07-05T11:42:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.17422","created_at":"2026-07-05T11:42:07Z"},{"alias_kind":"pith_short_12","alias_value":"NP3UKY3I4IE2","created_at":"2026-07-05T11:42:07Z"},{"alias_kind":"pith_short_16","alias_value":"NP3UKY3I4IE2GW5S","created_at":"2026-07-05T11:42:07Z"},{"alias_kind":"pith_short_8","alias_value":"NP3UKY3I","created_at":"2026-07-05T11:42:07Z"}],"graph_snapshots":[{"event_id":"sha256:a2ef653802464c703433dc8e70ba12a08dc346e25fc692cfe663631427c4d375","target":"graph","created_at":"2026-07-05T11:42:07Z","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/2507.17422/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The mixed-model assembly line (MMAL) is a production system used in the automobile industry to manufacture different car models on the same conveyor, offering a high degree of product customization and flexibility. However, the MMAL also poses challenges, such as finding optimal sequences of models satisfying multiple constraints and objectives related to production performance, quality, and delivery -- including minimizing the number of color changeovers in the Paint Shop, balancing the workload and setup times on the assembly line, and meeting customer demand and delivery deadlines. We propo","authors_text":"Andreas Karrenbauer, Bernd Kuhn, Kurt Mehlhorn, Paolo Luigi Rinaldi","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-07-23T11:29:44Z","title":"Optimizing Car Resequencing on Mixed-Model Assembly Lines: Algorithm Development and Deployment"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.17422","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:de9549b024a9e8fe25f473cbab6f8a72ca91b64682c4bfda19f161c914055168","target":"record","created_at":"2026-07-05T11:42:07Z","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":"1239dbe55ccf8cbe457df40f1c3f989fa92f4a596047fbba36e118ef7d9d00a8","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-07-23T11:29:44Z","title_canon_sha256":"d59a923024229d86c9a9d63f9ea9d576aba49e4901b5752d877ad50205c968e1"},"schema_version":"1.0","source":{"id":"2507.17422","kind":"arxiv","version":1}},"canonical_sha256":"6bf7456368e209a35bb290bba13b1e277c9587c39669f20014166f85e0d588e4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6bf7456368e209a35bb290bba13b1e277c9587c39669f20014166f85e0d588e4","first_computed_at":"2026-07-05T11:42:07.376235Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:42:07.376235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pZ//l6nExfagtEpnydEf5b9ynJ55OJwf/Fvyhqh4prDqr8L3fi5PQoIPCb2pZwgUuKxPhwwGNyeXU2SMhZ4HDg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:42:07.376670Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.17422","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:de9549b024a9e8fe25f473cbab6f8a72ca91b64682c4bfda19f161c914055168","sha256:a2ef653802464c703433dc8e70ba12a08dc346e25fc692cfe663631427c4d375"],"state_sha256":"0a22c61f19a2a72fd0da928cca7190cb6755fd920bcc4e473a57f0d38757d834"}