{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:I4HW34RG24XZ3TSVYYOW33EWSN","short_pith_number":"pith:I4HW34RG","canonical_record":{"source":{"id":"1711.03269","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-09T06:19:24Z","cross_cats_sorted":[],"title_canon_sha256":"2fbbb4ad01cf536b163b3eed171faa7fcfd274b4c5a84b6abf675e7eac3211a2","abstract_canon_sha256":"16d181b5e117b248bf0589973503901abf7f0689352687dc1d42d19ff0ac7583"},"schema_version":"1.0"},"canonical_sha256":"470f6df226d72f9dce55c61d6dec96936676b703483142c821cf9ba5fc96aae0","source":{"kind":"arxiv","id":"1711.03269","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.03269","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"arxiv_version","alias_value":"1711.03269v1","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.03269","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"pith_short_12","alias_value":"I4HW34RG24XZ","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"I4HW34RG24XZ3TSV","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"I4HW34RG","created_at":"2026-05-18T12:31:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:I4HW34RG24XZ3TSVYYOW33EWSN","target":"record","payload":{"canonical_record":{"source":{"id":"1711.03269","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-09T06:19:24Z","cross_cats_sorted":[],"title_canon_sha256":"2fbbb4ad01cf536b163b3eed171faa7fcfd274b4c5a84b6abf675e7eac3211a2","abstract_canon_sha256":"16d181b5e117b248bf0589973503901abf7f0689352687dc1d42d19ff0ac7583"},"schema_version":"1.0"},"canonical_sha256":"470f6df226d72f9dce55c61d6dec96936676b703483142c821cf9ba5fc96aae0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:30:56.751523Z","signature_b64":"OoeW+v5sBXxRlzvYEIPAeF5DcKIsdgU5MOPfkE0/eiWUtaNyQrd0RmSVoN3InzkX6wABwRkVuuo5lwTEHUpiBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"470f6df226d72f9dce55c61d6dec96936676b703483142c821cf9ba5fc96aae0","last_reissued_at":"2026-05-18T00:30:56.750895Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:30:56.750895Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.03269","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:30:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y/NLSWXfV9fQzhbVsXXGOe69OLaBcKnvrPLhn/D1j7PgVkMIDHDQPdUCb/2+ci74FHdqIAsOcAQm1beVz04RCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T14:55:28.227410Z"},"content_sha256":"7459649f4130730ed9b2dd729a150a9036290d4e9fe771793307ba66fce08fd2","schema_version":"1.0","event_id":"sha256:7459649f4130730ed9b2dd729a150a9036290d4e9fe771793307ba66fce08fd2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:I4HW34RG24XZ3TSVYYOW33EWSN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Canonical-based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Guowu Yang, Jinzhao Wu, Juling Zhang, William N. N. Hung","submitted_at":"2017-11-09T06:19:24Z","abstract_excerpt":"This paper presents a new compact canonical-based algorithm to solve the problem of single-output completely specified NPN Boolean matching. We propose a new signature vector Boolean difference and cofactor (DC) signature vector. Our algorithm utilizes the Boolean difference, cofactor signature and symmetry properties to search for canonical transformations. The use of symmetry and Boolean difference notably reduces the search space and speeds up the Boolean matching process compared to the algorithm proposed in [1]. We tested our algorithm on a large number of circuits. The experimental resul"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.03269","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:30:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ag6Y5JYhm18qWTECVTDd3SQoan0rm0JOSz9+T+Vo1yxMZ7dOxg9rlUx4U6dB/qP8ZzbRb4603EQhnwPMbu4DBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T14:55:28.227759Z"},"content_sha256":"14e3455a7ffbbe70b8583e8e38ac78f140e503ab436a040a666f4058093a68a4","schema_version":"1.0","event_id":"sha256:14e3455a7ffbbe70b8583e8e38ac78f140e503ab436a040a666f4058093a68a4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/I4HW34RG24XZ3TSVYYOW33EWSN/bundle.json","state_url":"https://pith.science/pith/I4HW34RG24XZ3TSVYYOW33EWSN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/I4HW34RG24XZ3TSVYYOW33EWSN/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-08T14:55:28Z","links":{"resolver":"https://pith.science/pith/I4HW34RG24XZ3TSVYYOW33EWSN","bundle":"https://pith.science/pith/I4HW34RG24XZ3TSVYYOW33EWSN/bundle.json","state":"https://pith.science/pith/I4HW34RG24XZ3TSVYYOW33EWSN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/I4HW34RG24XZ3TSVYYOW33EWSN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:I4HW34RG24XZ3TSVYYOW33EWSN","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":"16d181b5e117b248bf0589973503901abf7f0689352687dc1d42d19ff0ac7583","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-09T06:19:24Z","title_canon_sha256":"2fbbb4ad01cf536b163b3eed171faa7fcfd274b4c5a84b6abf675e7eac3211a2"},"schema_version":"1.0","source":{"id":"1711.03269","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.03269","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"arxiv_version","alias_value":"1711.03269v1","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.03269","created_at":"2026-05-18T00:30:56Z"},{"alias_kind":"pith_short_12","alias_value":"I4HW34RG24XZ","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"I4HW34RG24XZ3TSV","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"I4HW34RG","created_at":"2026-05-18T12:31:21Z"}],"graph_snapshots":[{"event_id":"sha256:14e3455a7ffbbe70b8583e8e38ac78f140e503ab436a040a666f4058093a68a4","target":"graph","created_at":"2026-05-18T00:30:56Z","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":"This paper presents a new compact canonical-based algorithm to solve the problem of single-output completely specified NPN Boolean matching. We propose a new signature vector Boolean difference and cofactor (DC) signature vector. Our algorithm utilizes the Boolean difference, cofactor signature and symmetry properties to search for canonical transformations. The use of symmetry and Boolean difference notably reduces the search space and speeds up the Boolean matching process compared to the algorithm proposed in [1]. We tested our algorithm on a large number of circuits. The experimental resul","authors_text":"Guowu Yang, Jinzhao Wu, Juling Zhang, William N. N. Hung","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-09T06:19:24Z","title":"A Canonical-based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.03269","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:7459649f4130730ed9b2dd729a150a9036290d4e9fe771793307ba66fce08fd2","target":"record","created_at":"2026-05-18T00:30:56Z","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":"16d181b5e117b248bf0589973503901abf7f0689352687dc1d42d19ff0ac7583","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-09T06:19:24Z","title_canon_sha256":"2fbbb4ad01cf536b163b3eed171faa7fcfd274b4c5a84b6abf675e7eac3211a2"},"schema_version":"1.0","source":{"id":"1711.03269","kind":"arxiv","version":1}},"canonical_sha256":"470f6df226d72f9dce55c61d6dec96936676b703483142c821cf9ba5fc96aae0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"470f6df226d72f9dce55c61d6dec96936676b703483142c821cf9ba5fc96aae0","first_computed_at":"2026-05-18T00:30:56.750895Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:30:56.750895Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OoeW+v5sBXxRlzvYEIPAeF5DcKIsdgU5MOPfkE0/eiWUtaNyQrd0RmSVoN3InzkX6wABwRkVuuo5lwTEHUpiBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:30:56.751523Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.03269","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7459649f4130730ed9b2dd729a150a9036290d4e9fe771793307ba66fce08fd2","sha256:14e3455a7ffbbe70b8583e8e38ac78f140e503ab436a040a666f4058093a68a4"],"state_sha256":"6c6632bf9eae1c7259abc438bbb894033c0a35f5802a32ad97b48b9ee5b8e8df"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EIGIWJdpK7rCXU8OBwACfBVNBz8oIZ2jMmqCF7z6hKVxH53yQQ7WRzk4tbRHdOeznsDMDwJkRflql0U1KlexBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T14:55:28.229613Z","bundle_sha256":"82f2a57351fcdfa91ecfc51e2b41336ca5a0c102a63266e0744c9c8cfbf80154"}}