{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:YLUZFBIAD7LGZITKLCWULMO3IA","short_pith_number":"pith:YLUZFBIA","schema_version":"1.0","canonical_sha256":"c2e99285001fd66ca26a58ad45b1db402ee4f7fb2e4eb5ceb670aedacf73be65","source":{"kind":"arxiv","id":"2301.12122","version":1},"attestation_state":"computed","paper":{"title":"Rethinking NPN Classification from Face and Point Characteristics of Boolean Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Guojie Luo, Huawei Li, Jiaxi Zhang, Liwei Ni, Shenggen Zheng","submitted_at":"2023-01-28T08:21:08Z","abstract_excerpt":"NPN classification is an essential problem in the design and verification of digital circuits. Most existing works explored variable symmetries and cofactor signatures to develop their classification methods. However, cofactor signatures only consider the face characteristics of Boolean functions. In this paper, we propose a new NPN classifier using both face and point characteristics of Boolean functions, including cofactor, influence, and sensitivity. The new method brings a new perspective to the classification of Boolean functions. The classifier only needs to compute some signatures, and "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2301.12122","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2023-01-28T08:21:08Z","cross_cats_sorted":[],"title_canon_sha256":"55beb3ef514649ebe71f079898bfe339e5f25aa66932bd2d4031827057e7d85a","abstract_canon_sha256":"17b42e0b73e82f2f897c75374d18b4bbdff3bf295dd2be5ccebc8064beaa2053"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:36:35.546439Z","signature_b64":"P4yCJbTZ0eKOFGvnGpKLoFzEjSgo7z/CLkCxDzV4bjXEQdV5bQsIdGsFMx/I2N83MckIMqtpNIh1cW49EdM/AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c2e99285001fd66ca26a58ad45b1db402ee4f7fb2e4eb5ceb670aedacf73be65","last_reissued_at":"2026-07-05T05:36:35.545991Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:36:35.545991Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Rethinking NPN Classification from Face and Point Characteristics of Boolean Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Guojie Luo, Huawei Li, Jiaxi Zhang, Liwei Ni, Shenggen Zheng","submitted_at":"2023-01-28T08:21:08Z","abstract_excerpt":"NPN classification is an essential problem in the design and verification of digital circuits. Most existing works explored variable symmetries and cofactor signatures to develop their classification methods. However, cofactor signatures only consider the face characteristics of Boolean functions. In this paper, we propose a new NPN classifier using both face and point characteristics of Boolean functions, including cofactor, influence, and sensitivity. The new method brings a new perspective to the classification of Boolean functions. The classifier only needs to compute some signatures, and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.12122","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/2301.12122/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2301.12122","created_at":"2026-07-05T05:36:35.546059+00:00"},{"alias_kind":"arxiv_version","alias_value":"2301.12122v1","created_at":"2026-07-05T05:36:35.546059+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.12122","created_at":"2026-07-05T05:36:35.546059+00:00"},{"alias_kind":"pith_short_12","alias_value":"YLUZFBIAD7LG","created_at":"2026-07-05T05:36:35.546059+00:00"},{"alias_kind":"pith_short_16","alias_value":"YLUZFBIAD7LGZITK","created_at":"2026-07-05T05:36:35.546059+00:00"},{"alias_kind":"pith_short_8","alias_value":"YLUZFBIA","created_at":"2026-07-05T05:36:35.546059+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YLUZFBIAD7LGZITKLCWULMO3IA","json":"https://pith.science/pith/YLUZFBIAD7LGZITKLCWULMO3IA.json","graph_json":"https://pith.science/api/pith-number/YLUZFBIAD7LGZITKLCWULMO3IA/graph.json","events_json":"https://pith.science/api/pith-number/YLUZFBIAD7LGZITKLCWULMO3IA/events.json","paper":"https://pith.science/paper/YLUZFBIA"},"agent_actions":{"view_html":"https://pith.science/pith/YLUZFBIAD7LGZITKLCWULMO3IA","download_json":"https://pith.science/pith/YLUZFBIAD7LGZITKLCWULMO3IA.json","view_paper":"https://pith.science/paper/YLUZFBIA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2301.12122&json=true","fetch_graph":"https://pith.science/api/pith-number/YLUZFBIAD7LGZITKLCWULMO3IA/graph.json","fetch_events":"https://pith.science/api/pith-number/YLUZFBIAD7LGZITKLCWULMO3IA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YLUZFBIAD7LGZITKLCWULMO3IA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YLUZFBIAD7LGZITKLCWULMO3IA/action/storage_attestation","attest_author":"https://pith.science/pith/YLUZFBIAD7LGZITKLCWULMO3IA/action/author_attestation","sign_citation":"https://pith.science/pith/YLUZFBIAD7LGZITKLCWULMO3IA/action/citation_signature","submit_replication":"https://pith.science/pith/YLUZFBIAD7LGZITKLCWULMO3IA/action/replication_record"}},"created_at":"2026-07-05T05:36:35.546059+00:00","updated_at":"2026-07-05T05:36:35.546059+00:00"}