{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:PZAATZHZNZKYIFOGTCXKH56WKF","short_pith_number":"pith:PZAATZHZ","canonical_record":{"source":{"id":"1308.6206","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-08-28T16:29:42Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"996fb95b65ff1f3dca3e391684ec244d66baed4869c2b2e126fd5788f16ddce9","abstract_canon_sha256":"aeb50e1b2875c10a8a10ca878944c9768815dfe76feda04bb6ea806ee07372ff"},"schema_version":"1.0"},"canonical_sha256":"7e4009e4f96e558415c698aea3f7d65149074e70db69dc5e0bffcb3de746a5e7","source":{"kind":"arxiv","id":"1308.6206","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.6206","created_at":"2026-05-18T03:10:14Z"},{"alias_kind":"arxiv_version","alias_value":"1308.6206v3","created_at":"2026-05-18T03:10:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.6206","created_at":"2026-05-18T03:10:14Z"},{"alias_kind":"pith_short_12","alias_value":"PZAATZHZNZKY","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"PZAATZHZNZKYIFOG","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"PZAATZHZ","created_at":"2026-05-18T12:27:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:PZAATZHZNZKYIFOGTCXKH56WKF","target":"record","payload":{"canonical_record":{"source":{"id":"1308.6206","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-08-28T16:29:42Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"996fb95b65ff1f3dca3e391684ec244d66baed4869c2b2e126fd5788f16ddce9","abstract_canon_sha256":"aeb50e1b2875c10a8a10ca878944c9768815dfe76feda04bb6ea806ee07372ff"},"schema_version":"1.0"},"canonical_sha256":"7e4009e4f96e558415c698aea3f7d65149074e70db69dc5e0bffcb3de746a5e7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:10:14.028916Z","signature_b64":"spd+zNDE7b8tVFwuwABET5GWl9vxcMpI7KY1cGhSqC6rA2fbggaWcdIpNzz44wxFitL9So728fJs/SIXmgdcDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7e4009e4f96e558415c698aea3f7d65149074e70db69dc5e0bffcb3de746a5e7","last_reissued_at":"2026-05-18T03:10:14.028472Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:10:14.028472Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1308.6206","source_version":3,"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-18T03:10:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gTGQuor1oFkTx4vGpwh+Tr04anAMvYTUCAlFFEjkVUepA1qUZ34/pp+3SVhzwMiQ42QAxKfmdtsoioiaDyFiCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T22:22:17.888986Z"},"content_sha256":"c044fe975edf30a6c4a08d5bcb69df78fe607ad14fcdb485f6890d82abfe99b3","schema_version":"1.0","event_id":"sha256:c044fe975edf30a6c4a08d5bcb69df78fe607ad14fcdb485f6890d82abfe99b3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:PZAATZHZNZKYIFOGTCXKH56WKF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Partner Units Configuration Problem: Completing the Picture","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.AI","authors_text":"Erich Christian Teppan, Gerhard Friedrich","submitted_at":"2013-08-28T16:29:42Z","abstract_excerpt":"The partner units problem (PUP) is an acknowledged hard benchmark problem for the Logic Programming community with various industrial application fields like surveillance, electrical engineering, computer networks or railway safety systems. However, computational complexity remained widely unclear so far. In this paper we provide all missing complexity results making the PUP better exploitable for benchmark testing. Furthermore, we present QuickPup, a heuristic search algorithm for PUP instances which outperforms all state-of-the-art solving approaches and which is already in use in real world"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.6206","kind":"arxiv","version":3},"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-18T03:10:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+oQYhbpVGilLVrf9Hevi/beYygRyryrTGss83iviI02ajDMru74Md5GzCYYhQ7I/lrHjpKdBPI7Ip58l1m2mDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T22:22:17.889558Z"},"content_sha256":"397ceda835f31e13899394e89ff6d49cc2bb6e193ef0b59c52d64570481eec09","schema_version":"1.0","event_id":"sha256:397ceda835f31e13899394e89ff6d49cc2bb6e193ef0b59c52d64570481eec09"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PZAATZHZNZKYIFOGTCXKH56WKF/bundle.json","state_url":"https://pith.science/pith/PZAATZHZNZKYIFOGTCXKH56WKF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PZAATZHZNZKYIFOGTCXKH56WKF/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-11T22:22:17Z","links":{"resolver":"https://pith.science/pith/PZAATZHZNZKYIFOGTCXKH56WKF","bundle":"https://pith.science/pith/PZAATZHZNZKYIFOGTCXKH56WKF/bundle.json","state":"https://pith.science/pith/PZAATZHZNZKYIFOGTCXKH56WKF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PZAATZHZNZKYIFOGTCXKH56WKF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:PZAATZHZNZKYIFOGTCXKH56WKF","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":"aeb50e1b2875c10a8a10ca878944c9768815dfe76feda04bb6ea806ee07372ff","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-08-28T16:29:42Z","title_canon_sha256":"996fb95b65ff1f3dca3e391684ec244d66baed4869c2b2e126fd5788f16ddce9"},"schema_version":"1.0","source":{"id":"1308.6206","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.6206","created_at":"2026-05-18T03:10:14Z"},{"alias_kind":"arxiv_version","alias_value":"1308.6206v3","created_at":"2026-05-18T03:10:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.6206","created_at":"2026-05-18T03:10:14Z"},{"alias_kind":"pith_short_12","alias_value":"PZAATZHZNZKY","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"PZAATZHZNZKYIFOG","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"PZAATZHZ","created_at":"2026-05-18T12:27:57Z"}],"graph_snapshots":[{"event_id":"sha256:397ceda835f31e13899394e89ff6d49cc2bb6e193ef0b59c52d64570481eec09","target":"graph","created_at":"2026-05-18T03:10:14Z","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 partner units problem (PUP) is an acknowledged hard benchmark problem for the Logic Programming community with various industrial application fields like surveillance, electrical engineering, computer networks or railway safety systems. However, computational complexity remained widely unclear so far. In this paper we provide all missing complexity results making the PUP better exploitable for benchmark testing. Furthermore, we present QuickPup, a heuristic search algorithm for PUP instances which outperforms all state-of-the-art solving approaches and which is already in use in real world","authors_text":"Erich Christian Teppan, Gerhard Friedrich","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-08-28T16:29:42Z","title":"The Partner Units Configuration Problem: Completing the Picture"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.6206","kind":"arxiv","version":3},"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:c044fe975edf30a6c4a08d5bcb69df78fe607ad14fcdb485f6890d82abfe99b3","target":"record","created_at":"2026-05-18T03:10:14Z","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":"aeb50e1b2875c10a8a10ca878944c9768815dfe76feda04bb6ea806ee07372ff","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-08-28T16:29:42Z","title_canon_sha256":"996fb95b65ff1f3dca3e391684ec244d66baed4869c2b2e126fd5788f16ddce9"},"schema_version":"1.0","source":{"id":"1308.6206","kind":"arxiv","version":3}},"canonical_sha256":"7e4009e4f96e558415c698aea3f7d65149074e70db69dc5e0bffcb3de746a5e7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7e4009e4f96e558415c698aea3f7d65149074e70db69dc5e0bffcb3de746a5e7","first_computed_at":"2026-05-18T03:10:14.028472Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:10:14.028472Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"spd+zNDE7b8tVFwuwABET5GWl9vxcMpI7KY1cGhSqC6rA2fbggaWcdIpNzz44wxFitL9So728fJs/SIXmgdcDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:10:14.028916Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.6206","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c044fe975edf30a6c4a08d5bcb69df78fe607ad14fcdb485f6890d82abfe99b3","sha256:397ceda835f31e13899394e89ff6d49cc2bb6e193ef0b59c52d64570481eec09"],"state_sha256":"36476add499c027aa8c8c7fef85a3ba96be2b6525e60fdca57ae5ebbc8b6add7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fu1xHmA7RXYLAx2Bn0H7Hw6kKBMxg3LYVt+T/eA9LxEILH41/7eIHixV0rkkJPVRc9f5QwiBgaTRIB2ptsf3DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T22:22:17.894005Z","bundle_sha256":"e3de4843054e6251de88891cc327411cbcb1cc2003df1506dbfe7f32067ac52a"}}