{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:TEFF4JWRYX2DGHO4444YCMUQOF","short_pith_number":"pith:TEFF4JWR","canonical_record":{"source":{"id":"1408.3586","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2014-08-15T16:54:12Z","cross_cats_sorted":[],"title_canon_sha256":"3b070c6951d30564ec2c223ff4594c4222451ae43922813dd287db997515bcfb","abstract_canon_sha256":"6134f17bd8211fb19d65db07b2f09ce4c022aceaf0238f5d6b3c69cdbd9b979f"},"schema_version":"1.0"},"canonical_sha256":"990a5e26d1c5f4331ddce73981329071459448e35086ebb88e7b1e6d7f3166e9","source":{"kind":"arxiv","id":"1408.3586","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.3586","created_at":"2026-05-18T02:45:03Z"},{"alias_kind":"arxiv_version","alias_value":"1408.3586v1","created_at":"2026-05-18T02:45:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.3586","created_at":"2026-05-18T02:45:03Z"},{"alias_kind":"pith_short_12","alias_value":"TEFF4JWRYX2D","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"TEFF4JWRYX2DGHO4","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"TEFF4JWR","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:TEFF4JWRYX2DGHO4444YCMUQOF","target":"record","payload":{"canonical_record":{"source":{"id":"1408.3586","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2014-08-15T16:54:12Z","cross_cats_sorted":[],"title_canon_sha256":"3b070c6951d30564ec2c223ff4594c4222451ae43922813dd287db997515bcfb","abstract_canon_sha256":"6134f17bd8211fb19d65db07b2f09ce4c022aceaf0238f5d6b3c69cdbd9b979f"},"schema_version":"1.0"},"canonical_sha256":"990a5e26d1c5f4331ddce73981329071459448e35086ebb88e7b1e6d7f3166e9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:45:03.688001Z","signature_b64":"lDIdTEmQMyW265Sx7MwANb6cqyEtuP/QXvu0qkFWMHjAh5Z/2LrzmxhpK5Uzxr/dnmL8Ko3g6AbAA/3jVIsHCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"990a5e26d1c5f4331ddce73981329071459448e35086ebb88e7b1e6d7f3166e9","last_reissued_at":"2026-05-18T02:45:03.687444Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:45:03.687444Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1408.3586","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-18T02:45:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y35fLFYPbb81V4boN3pj+VansqAYHTl7EfXKIQQNBoG0yYG3nh0jHeSmhGQa3rRMSv3iKAmh2L2YgROg9tXZDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T01:40:22.881665Z"},"content_sha256":"6c1658c8d57d3403688298916513af05e17bc52db07011c518501db7e2a845d5","schema_version":"1.0","event_id":"sha256:6c1658c8d57d3403688298916513af05e17bc52db07011c518501db7e2a845d5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:TEFF4JWRYX2DGHO4444YCMUQOF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Embedding of Large Boolean Functions for Reversible Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.ET","authors_text":"D. Michael Miller, Mathias Soeken, Oliver Keszocze, Robert Wille, Rolf Drechsler","submitted_at":"2014-08-15T16:54:12Z","abstract_excerpt":"Reversible logic represents the basis for many emerging technologies and has recently been intensively studied. However, most of the Boolean functions of practical interest are irreversible and must be embedded into a reversible function before they can be synthesized. Thus far, an optimal embedding is guaranteed only for small functions, whereas a significant overhead results when large functions are considered. In this paper, we study this issue. We prove that determining an optimal embedding is coNP-hard already for restricted cases. Then, we propose heuristic and exact methods for determin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.3586","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-18T02:45:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5j0t/IRewuQGXcGFATTD5wkhWozlHfS6/Td6mrnYw6jqj2119Moiep8qyxbX5KszLE8MuGt1DtwmanAvaBSDCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T01:40:22.882011Z"},"content_sha256":"3737918f73cabe007a09facb694ab4293c45fef611e5e4c2e06c04bf4458ea73","schema_version":"1.0","event_id":"sha256:3737918f73cabe007a09facb694ab4293c45fef611e5e4c2e06c04bf4458ea73"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TEFF4JWRYX2DGHO4444YCMUQOF/bundle.json","state_url":"https://pith.science/pith/TEFF4JWRYX2DGHO4444YCMUQOF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TEFF4JWRYX2DGHO4444YCMUQOF/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-12T01:40:22Z","links":{"resolver":"https://pith.science/pith/TEFF4JWRYX2DGHO4444YCMUQOF","bundle":"https://pith.science/pith/TEFF4JWRYX2DGHO4444YCMUQOF/bundle.json","state":"https://pith.science/pith/TEFF4JWRYX2DGHO4444YCMUQOF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TEFF4JWRYX2DGHO4444YCMUQOF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:TEFF4JWRYX2DGHO4444YCMUQOF","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":"6134f17bd8211fb19d65db07b2f09ce4c022aceaf0238f5d6b3c69cdbd9b979f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2014-08-15T16:54:12Z","title_canon_sha256":"3b070c6951d30564ec2c223ff4594c4222451ae43922813dd287db997515bcfb"},"schema_version":"1.0","source":{"id":"1408.3586","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.3586","created_at":"2026-05-18T02:45:03Z"},{"alias_kind":"arxiv_version","alias_value":"1408.3586v1","created_at":"2026-05-18T02:45:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.3586","created_at":"2026-05-18T02:45:03Z"},{"alias_kind":"pith_short_12","alias_value":"TEFF4JWRYX2D","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"TEFF4JWRYX2DGHO4","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"TEFF4JWR","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:3737918f73cabe007a09facb694ab4293c45fef611e5e4c2e06c04bf4458ea73","target":"graph","created_at":"2026-05-18T02:45:03Z","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":"Reversible logic represents the basis for many emerging technologies and has recently been intensively studied. However, most of the Boolean functions of practical interest are irreversible and must be embedded into a reversible function before they can be synthesized. Thus far, an optimal embedding is guaranteed only for small functions, whereas a significant overhead results when large functions are considered. In this paper, we study this issue. We prove that determining an optimal embedding is coNP-hard already for restricted cases. Then, we propose heuristic and exact methods for determin","authors_text":"D. Michael Miller, Mathias Soeken, Oliver Keszocze, Robert Wille, Rolf Drechsler","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2014-08-15T16:54:12Z","title":"Embedding of Large Boolean Functions for Reversible Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.3586","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:6c1658c8d57d3403688298916513af05e17bc52db07011c518501db7e2a845d5","target":"record","created_at":"2026-05-18T02:45:03Z","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":"6134f17bd8211fb19d65db07b2f09ce4c022aceaf0238f5d6b3c69cdbd9b979f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2014-08-15T16:54:12Z","title_canon_sha256":"3b070c6951d30564ec2c223ff4594c4222451ae43922813dd287db997515bcfb"},"schema_version":"1.0","source":{"id":"1408.3586","kind":"arxiv","version":1}},"canonical_sha256":"990a5e26d1c5f4331ddce73981329071459448e35086ebb88e7b1e6d7f3166e9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"990a5e26d1c5f4331ddce73981329071459448e35086ebb88e7b1e6d7f3166e9","first_computed_at":"2026-05-18T02:45:03.687444Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:45:03.687444Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lDIdTEmQMyW265Sx7MwANb6cqyEtuP/QXvu0qkFWMHjAh5Z/2LrzmxhpK5Uzxr/dnmL8Ko3g6AbAA/3jVIsHCA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:45:03.688001Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.3586","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6c1658c8d57d3403688298916513af05e17bc52db07011c518501db7e2a845d5","sha256:3737918f73cabe007a09facb694ab4293c45fef611e5e4c2e06c04bf4458ea73"],"state_sha256":"7bea86ecb0b690eb6d4a45e408425e636a2ffb065f8251a1820244780b47afd7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fMvY29tgHUh1h43a43nPv0WEAFRNenI52uFj95JVNwdS1mcFj0mzOMeggT4UQfnbbVSWYetDKhY/okleT3ivBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T01:40:22.884214Z","bundle_sha256":"9472da8c0c5272fee8bf02c17e47183456a0519b06f58597ae67f558be945233"}}