{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:LTPJ5Q6HK2O24Z27YDO7MUPY2F","short_pith_number":"pith:LTPJ5Q6H","canonical_record":{"source":{"id":"1702.07470","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2017-02-24T06:02:16Z","cross_cats_sorted":[],"title_canon_sha256":"7d92e4858d68f98800f39a8c157c559b400f1a5d0825900c52c8053f77daa0f9","abstract_canon_sha256":"edc79b739ccd806ffe09f11e20e3aae6f0fa6d302507e45f2075459ab70d8729"},"schema_version":"1.0"},"canonical_sha256":"5cde9ec3c7569dae675fc0ddf651f8d16d488b5ed2a3a3d2b6b76e075536e9a3","source":{"kind":"arxiv","id":"1702.07470","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.07470","created_at":"2026-05-18T00:50:03Z"},{"alias_kind":"arxiv_version","alias_value":"1702.07470v1","created_at":"2026-05-18T00:50:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.07470","created_at":"2026-05-18T00:50:03Z"},{"alias_kind":"pith_short_12","alias_value":"LTPJ5Q6HK2O2","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"LTPJ5Q6HK2O24Z27","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"LTPJ5Q6H","created_at":"2026-05-18T12:31:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:LTPJ5Q6HK2O24Z27YDO7MUPY2F","target":"record","payload":{"canonical_record":{"source":{"id":"1702.07470","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2017-02-24T06:02:16Z","cross_cats_sorted":[],"title_canon_sha256":"7d92e4858d68f98800f39a8c157c559b400f1a5d0825900c52c8053f77daa0f9","abstract_canon_sha256":"edc79b739ccd806ffe09f11e20e3aae6f0fa6d302507e45f2075459ab70d8729"},"schema_version":"1.0"},"canonical_sha256":"5cde9ec3c7569dae675fc0ddf651f8d16d488b5ed2a3a3d2b6b76e075536e9a3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:50:03.250989Z","signature_b64":"bgLsS2NMCbDHIDmRK720rWOWqcXiR5D7eX06vOCgWk2Eo0xaxxLn5L5ZEc5gEwnLjcoHLK2ekunPhEsgT7wrDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5cde9ec3c7569dae675fc0ddf651f8d16d488b5ed2a3a3d2b6b76e075536e9a3","last_reissued_at":"2026-05-18T00:50:03.250372Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:50:03.250372Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.07470","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:50:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uz64pJ6SsUNf2PsnABpVVRdfDdSudOLJtJq8OcfqXY6o/mRo630OR5Kx+3/904YrhRXlohvn8Ts0l5KCJANOAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T18:34:34.955898Z"},"content_sha256":"73ef039af1ea6a61c40e5c41fc8c3aeb23932f907bcef4647dbb134b68d48bc1","schema_version":"1.0","event_id":"sha256:73ef039af1ea6a61c40e5c41fc8c3aeb23932f907bcef4647dbb134b68d48bc1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:LTPJ5Q6HK2O24Z27YDO7MUPY2F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exact Synthesis of Reversible Logic Circuits using Model Checking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.ET","authors_text":"Arup Deka, Kamalika Datta, Rajarshi Ray","submitted_at":"2017-02-24T06:02:16Z","abstract_excerpt":"Synthesis of reversible logic circuits has gained great atten- tion during the last decade. Various synthesis techniques have been pro- posed, some generate optimal solutions (in gate count) and are termed as exact, while others are scalable in the sense that they can handle larger functions but generate sub-optimal solutions. Although scalable synthe- sis is very much essential for circuit design, exact synthesis is also of great importance as it helps in building design library for the synthesis of larger functions. In this paper, we propose an exact synthesis technique for re- versible circ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.07470","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:50:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rVz35grOx8FcEuWb/ymLE3up2J5eBCAQtvCjby3xoonv2CSvjvu3NCz0pYzBSozZxzW/xqn3ktCwWP1l5CcsAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T18:34:34.956537Z"},"content_sha256":"26e671f2428648b2866f6787406c76c93da8bc1f09a6e7b541c458ac8da566af","schema_version":"1.0","event_id":"sha256:26e671f2428648b2866f6787406c76c93da8bc1f09a6e7b541c458ac8da566af"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LTPJ5Q6HK2O24Z27YDO7MUPY2F/bundle.json","state_url":"https://pith.science/pith/LTPJ5Q6HK2O24Z27YDO7MUPY2F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LTPJ5Q6HK2O24Z27YDO7MUPY2F/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-05-27T18:34:34Z","links":{"resolver":"https://pith.science/pith/LTPJ5Q6HK2O24Z27YDO7MUPY2F","bundle":"https://pith.science/pith/LTPJ5Q6HK2O24Z27YDO7MUPY2F/bundle.json","state":"https://pith.science/pith/LTPJ5Q6HK2O24Z27YDO7MUPY2F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LTPJ5Q6HK2O24Z27YDO7MUPY2F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:LTPJ5Q6HK2O24Z27YDO7MUPY2F","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":"edc79b739ccd806ffe09f11e20e3aae6f0fa6d302507e45f2075459ab70d8729","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2017-02-24T06:02:16Z","title_canon_sha256":"7d92e4858d68f98800f39a8c157c559b400f1a5d0825900c52c8053f77daa0f9"},"schema_version":"1.0","source":{"id":"1702.07470","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.07470","created_at":"2026-05-18T00:50:03Z"},{"alias_kind":"arxiv_version","alias_value":"1702.07470v1","created_at":"2026-05-18T00:50:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.07470","created_at":"2026-05-18T00:50:03Z"},{"alias_kind":"pith_short_12","alias_value":"LTPJ5Q6HK2O2","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"LTPJ5Q6HK2O24Z27","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"LTPJ5Q6H","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:26e671f2428648b2866f6787406c76c93da8bc1f09a6e7b541c458ac8da566af","target":"graph","created_at":"2026-05-18T00:50: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":"Synthesis of reversible logic circuits has gained great atten- tion during the last decade. Various synthesis techniques have been pro- posed, some generate optimal solutions (in gate count) and are termed as exact, while others are scalable in the sense that they can handle larger functions but generate sub-optimal solutions. Although scalable synthe- sis is very much essential for circuit design, exact synthesis is also of great importance as it helps in building design library for the synthesis of larger functions. In this paper, we propose an exact synthesis technique for re- versible circ","authors_text":"Arup Deka, Kamalika Datta, Rajarshi Ray","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2017-02-24T06:02:16Z","title":"Exact Synthesis of Reversible Logic Circuits using Model Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.07470","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:73ef039af1ea6a61c40e5c41fc8c3aeb23932f907bcef4647dbb134b68d48bc1","target":"record","created_at":"2026-05-18T00:50: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":"edc79b739ccd806ffe09f11e20e3aae6f0fa6d302507e45f2075459ab70d8729","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2017-02-24T06:02:16Z","title_canon_sha256":"7d92e4858d68f98800f39a8c157c559b400f1a5d0825900c52c8053f77daa0f9"},"schema_version":"1.0","source":{"id":"1702.07470","kind":"arxiv","version":1}},"canonical_sha256":"5cde9ec3c7569dae675fc0ddf651f8d16d488b5ed2a3a3d2b6b76e075536e9a3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5cde9ec3c7569dae675fc0ddf651f8d16d488b5ed2a3a3d2b6b76e075536e9a3","first_computed_at":"2026-05-18T00:50:03.250372Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:50:03.250372Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bgLsS2NMCbDHIDmRK720rWOWqcXiR5D7eX06vOCgWk2Eo0xaxxLn5L5ZEc5gEwnLjcoHLK2ekunPhEsgT7wrDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:50:03.250989Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.07470","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:73ef039af1ea6a61c40e5c41fc8c3aeb23932f907bcef4647dbb134b68d48bc1","sha256:26e671f2428648b2866f6787406c76c93da8bc1f09a6e7b541c458ac8da566af"],"state_sha256":"7444569bd25c8a0dbf14fc489fe2cf0f6a8814610c8bdf86a66f1e8461286fcb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9fzcYa9FElCnQ/t4Wj0aO6eWB8cE1TNzmYtBGKyNZue9hTr/EB3AommEl3kncTYt1aFWgqEak4VhuP959mraBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T18:34:34.959442Z","bundle_sha256":"1fa222d8faaff48f4a4c6439eba4ee5c8ebb7c24fd7af8763e51e33450b5df42"}}