{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:6IBI3E3KMX24NUNJJYNJHJ325R","short_pith_number":"pith:6IBI3E3K","canonical_record":{"source":{"id":"1906.01363","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2019-06-04T11:55:22Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"9127164080509a06c580340ccaa583a4d5c4b26877262855de24b6b693bc8b0e","abstract_canon_sha256":"8cf2954debc72321f986a83ce90530e5a1034035e82388f5c3cc81a0848db9a3"},"schema_version":"1.0"},"canonical_sha256":"f2028d936a65f5c6d1a94e1a93a77aec64fb752c50f3aa8dbba2946d43e86556","source":{"kind":"arxiv","id":"1906.01363","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.01363","created_at":"2026-05-17T23:44:16Z"},{"alias_kind":"arxiv_version","alias_value":"1906.01363v1","created_at":"2026-05-17T23:44:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.01363","created_at":"2026-05-17T23:44:16Z"},{"alias_kind":"pith_short_12","alias_value":"6IBI3E3KMX24","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"6IBI3E3KMX24NUNJ","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"6IBI3E3K","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:6IBI3E3KMX24NUNJJYNJHJ325R","target":"record","payload":{"canonical_record":{"source":{"id":"1906.01363","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2019-06-04T11:55:22Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"9127164080509a06c580340ccaa583a4d5c4b26877262855de24b6b693bc8b0e","abstract_canon_sha256":"8cf2954debc72321f986a83ce90530e5a1034035e82388f5c3cc81a0848db9a3"},"schema_version":"1.0"},"canonical_sha256":"f2028d936a65f5c6d1a94e1a93a77aec64fb752c50f3aa8dbba2946d43e86556","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:16.906890Z","signature_b64":"EZa0RTMgt2BboKLkgkG6/Ybn6q+fNAuWNhXo9qvUSazJ/kMx8Zb1vnCWOWDp30RqS/frCZirwiJIzAVqhG6wDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f2028d936a65f5c6d1a94e1a93a77aec64fb752c50f3aa8dbba2946d43e86556","last_reissued_at":"2026-05-17T23:44:16.906260Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:16.906260Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.01363","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-17T23:44:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gru+hBFjHW6zicZMDGNjGAWGRHex2wHQ9y3Z8BSFcet/JZirMwr9TThi7FWr/NoIIf85NLRG2fgHEaLETpgyCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T00:26:53.164853Z"},"content_sha256":"fd9a57f66ca5850febf7371755cec971e891b1576acfa7116686513a72364c5b","schema_version":"1.0","event_id":"sha256:fd9a57f66ca5850febf7371755cec971e891b1576acfa7116686513a72364c5b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:6IBI3E3KMX24NUNJJYNJHJ325R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"KarNet: An Efficient Boolean Function Simplifier","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.CV","authors_text":"Abhilash Nandy, Debashis Sen, Ritesh Agrawal, Shanka Subhra Mondal","submitted_at":"2019-06-04T11:55:22Z","abstract_excerpt":"Many approaches such as Quine-McCluskey algorithm, Karnaugh map solving, Petrick's method and McBoole's method have been devised to simplify Boolean expressions in order to optimize hardware implementation of digital circuits. However, the algorithmic implementations of these methods are hard-coded and also their computation time is proportional to the number of minterms involved in the expression. In this paper, we propose KarNet, where the ability of Convolutional Neural Networks to model relationships between various cell locations and values by capturing spatial dependencies is exploited t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.01363","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-17T23:44:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7Jwp1djaKTabiBVrzb9c09IeouyAZLIu/MoY6UA7olprT9cTnuJyhRgSjl4TrB/0GWANwv9PgosNsnvkwDehBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T00:26:53.165532Z"},"content_sha256":"7cba3024546a09e5f843c71b1b65f99b252c8f3f036219134c657052746565b1","schema_version":"1.0","event_id":"sha256:7cba3024546a09e5f843c71b1b65f99b252c8f3f036219134c657052746565b1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6IBI3E3KMX24NUNJJYNJHJ325R/bundle.json","state_url":"https://pith.science/pith/6IBI3E3KMX24NUNJJYNJHJ325R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6IBI3E3KMX24NUNJJYNJHJ325R/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-11T00:26:53Z","links":{"resolver":"https://pith.science/pith/6IBI3E3KMX24NUNJJYNJHJ325R","bundle":"https://pith.science/pith/6IBI3E3KMX24NUNJJYNJHJ325R/bundle.json","state":"https://pith.science/pith/6IBI3E3KMX24NUNJJYNJHJ325R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6IBI3E3KMX24NUNJJYNJHJ325R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:6IBI3E3KMX24NUNJJYNJHJ325R","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":"8cf2954debc72321f986a83ce90530e5a1034035e82388f5c3cc81a0848db9a3","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2019-06-04T11:55:22Z","title_canon_sha256":"9127164080509a06c580340ccaa583a4d5c4b26877262855de24b6b693bc8b0e"},"schema_version":"1.0","source":{"id":"1906.01363","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.01363","created_at":"2026-05-17T23:44:16Z"},{"alias_kind":"arxiv_version","alias_value":"1906.01363v1","created_at":"2026-05-17T23:44:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.01363","created_at":"2026-05-17T23:44:16Z"},{"alias_kind":"pith_short_12","alias_value":"6IBI3E3KMX24","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"6IBI3E3KMX24NUNJ","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"6IBI3E3K","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:7cba3024546a09e5f843c71b1b65f99b252c8f3f036219134c657052746565b1","target":"graph","created_at":"2026-05-17T23:44:16Z","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":"Many approaches such as Quine-McCluskey algorithm, Karnaugh map solving, Petrick's method and McBoole's method have been devised to simplify Boolean expressions in order to optimize hardware implementation of digital circuits. However, the algorithmic implementations of these methods are hard-coded and also their computation time is proportional to the number of minterms involved in the expression. In this paper, we propose KarNet, where the ability of Convolutional Neural Networks to model relationships between various cell locations and values by capturing spatial dependencies is exploited t","authors_text":"Abhilash Nandy, Debashis Sen, Ritesh Agrawal, Shanka Subhra Mondal","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2019-06-04T11:55:22Z","title":"KarNet: An Efficient Boolean Function Simplifier"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.01363","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:fd9a57f66ca5850febf7371755cec971e891b1576acfa7116686513a72364c5b","target":"record","created_at":"2026-05-17T23:44:16Z","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":"8cf2954debc72321f986a83ce90530e5a1034035e82388f5c3cc81a0848db9a3","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CV","submitted_at":"2019-06-04T11:55:22Z","title_canon_sha256":"9127164080509a06c580340ccaa583a4d5c4b26877262855de24b6b693bc8b0e"},"schema_version":"1.0","source":{"id":"1906.01363","kind":"arxiv","version":1}},"canonical_sha256":"f2028d936a65f5c6d1a94e1a93a77aec64fb752c50f3aa8dbba2946d43e86556","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f2028d936a65f5c6d1a94e1a93a77aec64fb752c50f3aa8dbba2946d43e86556","first_computed_at":"2026-05-17T23:44:16.906260Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:16.906260Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EZa0RTMgt2BboKLkgkG6/Ybn6q+fNAuWNhXo9qvUSazJ/kMx8Zb1vnCWOWDp30RqS/frCZirwiJIzAVqhG6wDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:16.906890Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.01363","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd9a57f66ca5850febf7371755cec971e891b1576acfa7116686513a72364c5b","sha256:7cba3024546a09e5f843c71b1b65f99b252c8f3f036219134c657052746565b1"],"state_sha256":"b67973a6195fd7188e226d768cd28187ead9cabe3bd352060b3bc81dd26af95b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2ms+t1oUSjehFW4Et75Cv31B/5673UECwXCAiFkGE6MEhpw+lbTrLEENCrQYwppJfWCC1Dz8xJrE8dvr2r+2Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T00:26:53.169897Z","bundle_sha256":"f845344913293fefb2593eb39dbeca449e781dc568543dcd8db7ac2acbf5a489"}}