{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:RTVLW5CUMJY2DHYVCXZETQGZJZ","short_pith_number":"pith:RTVLW5CU","canonical_record":{"source":{"id":"2308.12311","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-08-23T01:50:09Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9dca9e364c3c9d3ba124a37e28a48111c429b823520dded84144f6c98954b2a0","abstract_canon_sha256":"6b0655b0d0da4a7962356cab9d97afd9d07b9cce7a09765d9dd44ddca6194277"},"schema_version":"1.0"},"canonical_sha256":"8ceabb74546271a19f1515f249c0d94e5fbc488082ccaf3e42de9c40c4ab9e5b","source":{"kind":"arxiv","id":"2308.12311","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.12311","created_at":"2026-07-05T06:44:20Z"},{"alias_kind":"arxiv_version","alias_value":"2308.12311v1","created_at":"2026-07-05T06:44:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.12311","created_at":"2026-07-05T06:44:20Z"},{"alias_kind":"pith_short_12","alias_value":"RTVLW5CUMJY2","created_at":"2026-07-05T06:44:20Z"},{"alias_kind":"pith_short_16","alias_value":"RTVLW5CUMJY2DHYV","created_at":"2026-07-05T06:44:20Z"},{"alias_kind":"pith_short_8","alias_value":"RTVLW5CU","created_at":"2026-07-05T06:44:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:RTVLW5CUMJY2DHYVCXZETQGZJZ","target":"record","payload":{"canonical_record":{"source":{"id":"2308.12311","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-08-23T01:50:09Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9dca9e364c3c9d3ba124a37e28a48111c429b823520dded84144f6c98954b2a0","abstract_canon_sha256":"6b0655b0d0da4a7962356cab9d97afd9d07b9cce7a09765d9dd44ddca6194277"},"schema_version":"1.0"},"canonical_sha256":"8ceabb74546271a19f1515f249c0d94e5fbc488082ccaf3e42de9c40c4ab9e5b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:44:20.692450Z","signature_b64":"1M0AGI7BKlx7INlpJbIVExnWrzJja2gWqDLQbD5h/p/EMA36UVvH46eU4d8d2y0zNnU7DiFGhnZKAKLwpJxWAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8ceabb74546271a19f1515f249c0d94e5fbc488082ccaf3e42de9c40c4ab9e5b","last_reissued_at":"2026-07-05T06:44:20.691826Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:44:20.691826Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2308.12311","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-07-05T06:44:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SbAhZgdUAbmJC1CaR/FpmGSkWVCBX2tDren/rqW8+9/wSr/weIQkdyXZoa6UGvTAyQm2tgWgoFUrPnx9TxrhCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T15:43:58.432404Z"},"content_sha256":"c629798cd15dff295ef1332410e4d87fc42ade999a4547ad6c75e1d843e9a46f","schema_version":"1.0","event_id":"sha256:c629798cd15dff295ef1332410e4d87fc42ade999a4547ad6c75e1d843e9a46f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:RTVLW5CUMJY2DHYVCXZETQGZJZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fast Exact NPN Classification with Influence-aided Canonical Form","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.LG","authors_text":"Guojie Luo, Huawei Li, Jiaxi Zhang, Liwei Ni, Shenggen Zheng, Yonghe Zhang","submitted_at":"2023-08-23T01:50:09Z","abstract_excerpt":"NPN classification has many applications in the synthesis and verification of digital circuits. The canonical-form-based method is the most common approach, designing a canonical form as representative for the NPN equivalence class first and then computing the transformation function according to the canonical form. Most works use variable symmetries and several signatures, mainly based on the cofactor, to simplify the canonical form construction and computation. This paper describes a novel canonical form and its computation algorithm by introducing Boolean influence to NPN classification, wh"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.12311","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2308.12311/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T06:44:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r+fxHrKRZgHdg+le9BhUjFXwVpGGPu7v/mP1Rxl0BFvwToA8BaZId49ZeNevCpb3tlMmC1ee25HpPyCjXDI/Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T15:43:58.432904Z"},"content_sha256":"1a312ebafa07ddab287fe04321a323f175f8e4ef9a32617fb306ab6d9d387c99","schema_version":"1.0","event_id":"sha256:1a312ebafa07ddab287fe04321a323f175f8e4ef9a32617fb306ab6d9d387c99"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RTVLW5CUMJY2DHYVCXZETQGZJZ/bundle.json","state_url":"https://pith.science/pith/RTVLW5CUMJY2DHYVCXZETQGZJZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RTVLW5CUMJY2DHYVCXZETQGZJZ/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-08-03T15:43:58Z","links":{"resolver":"https://pith.science/pith/RTVLW5CUMJY2DHYVCXZETQGZJZ","bundle":"https://pith.science/pith/RTVLW5CUMJY2DHYVCXZETQGZJZ/bundle.json","state":"https://pith.science/pith/RTVLW5CUMJY2DHYVCXZETQGZJZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RTVLW5CUMJY2DHYVCXZETQGZJZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:RTVLW5CUMJY2DHYVCXZETQGZJZ","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":"6b0655b0d0da4a7962356cab9d97afd9d07b9cce7a09765d9dd44ddca6194277","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-08-23T01:50:09Z","title_canon_sha256":"9dca9e364c3c9d3ba124a37e28a48111c429b823520dded84144f6c98954b2a0"},"schema_version":"1.0","source":{"id":"2308.12311","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.12311","created_at":"2026-07-05T06:44:20Z"},{"alias_kind":"arxiv_version","alias_value":"2308.12311v1","created_at":"2026-07-05T06:44:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.12311","created_at":"2026-07-05T06:44:20Z"},{"alias_kind":"pith_short_12","alias_value":"RTVLW5CUMJY2","created_at":"2026-07-05T06:44:20Z"},{"alias_kind":"pith_short_16","alias_value":"RTVLW5CUMJY2DHYV","created_at":"2026-07-05T06:44:20Z"},{"alias_kind":"pith_short_8","alias_value":"RTVLW5CU","created_at":"2026-07-05T06:44:20Z"}],"graph_snapshots":[{"event_id":"sha256:1a312ebafa07ddab287fe04321a323f175f8e4ef9a32617fb306ab6d9d387c99","target":"graph","created_at":"2026-07-05T06:44:20Z","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/2308.12311/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"NPN classification has many applications in the synthesis and verification of digital circuits. The canonical-form-based method is the most common approach, designing a canonical form as representative for the NPN equivalence class first and then computing the transformation function according to the canonical form. Most works use variable symmetries and several signatures, mainly based on the cofactor, to simplify the canonical form construction and computation. This paper describes a novel canonical form and its computation algorithm by introducing Boolean influence to NPN classification, wh","authors_text":"Guojie Luo, Huawei Li, Jiaxi Zhang, Liwei Ni, Shenggen Zheng, Yonghe Zhang","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-08-23T01:50:09Z","title":"Fast Exact NPN Classification with Influence-aided Canonical Form"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.12311","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:c629798cd15dff295ef1332410e4d87fc42ade999a4547ad6c75e1d843e9a46f","target":"record","created_at":"2026-07-05T06:44:20Z","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":"6b0655b0d0da4a7962356cab9d97afd9d07b9cce7a09765d9dd44ddca6194277","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-08-23T01:50:09Z","title_canon_sha256":"9dca9e364c3c9d3ba124a37e28a48111c429b823520dded84144f6c98954b2a0"},"schema_version":"1.0","source":{"id":"2308.12311","kind":"arxiv","version":1}},"canonical_sha256":"8ceabb74546271a19f1515f249c0d94e5fbc488082ccaf3e42de9c40c4ab9e5b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8ceabb74546271a19f1515f249c0d94e5fbc488082ccaf3e42de9c40c4ab9e5b","first_computed_at":"2026-07-05T06:44:20.691826Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:44:20.691826Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1M0AGI7BKlx7INlpJbIVExnWrzJja2gWqDLQbD5h/p/EMA36UVvH46eU4d8d2y0zNnU7DiFGhnZKAKLwpJxWAA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:44:20.692450Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.12311","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c629798cd15dff295ef1332410e4d87fc42ade999a4547ad6c75e1d843e9a46f","sha256:1a312ebafa07ddab287fe04321a323f175f8e4ef9a32617fb306ab6d9d387c99"],"state_sha256":"ec25057ab2c5514e841e7991407100038e98bb2c1359991dbd3b32e1117f2057"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cxDeIhluzF7cD91XF0sTw7kfOJKl7PDY5y787vhYfXgVbGsTO1uamVzEGtYAGsEePrnwLnTkA5azD78TIHEzBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T15:43:58.439964Z","bundle_sha256":"a17cc91787d0b62062af8aeab268a5ae3c0b10bf9dda286948dda0542e430dc3"}}