{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:DUQHGZEE2JYIK7RDYCZRFGQSWP","short_pith_number":"pith:DUQHGZEE","canonical_record":{"source":{"id":"2504.06476","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2025-04-08T22:41:51Z","cross_cats_sorted":["cs.AR","math.OC"],"title_canon_sha256":"24eb76cc09645af2da82ee087b1c4eb05ab1604a99af10b1c6b20d61a4b73680","abstract_canon_sha256":"49b42986359c41a20741c107064e31246d729a252a56c95fa00881aa13505194"},"schema_version":"1.0"},"canonical_sha256":"1d20736484d270857e23c0b3129a12b3c3b00cc7bae4a36b9b5632bbfe6befa0","source":{"kind":"arxiv","id":"2504.06476","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.06476","created_at":"2026-05-20T00:00:19Z"},{"alias_kind":"arxiv_version","alias_value":"2504.06476v2","created_at":"2026-05-20T00:00:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.06476","created_at":"2026-05-20T00:00:19Z"},{"alias_kind":"pith_short_12","alias_value":"DUQHGZEE2JYI","created_at":"2026-05-20T00:00:19Z"},{"alias_kind":"pith_short_16","alias_value":"DUQHGZEE2JYIK7RD","created_at":"2026-05-20T00:00:19Z"},{"alias_kind":"pith_short_8","alias_value":"DUQHGZEE","created_at":"2026-05-20T00:00:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:DUQHGZEE2JYIK7RDYCZRFGQSWP","target":"record","payload":{"canonical_record":{"source":{"id":"2504.06476","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2025-04-08T22:41:51Z","cross_cats_sorted":["cs.AR","math.OC"],"title_canon_sha256":"24eb76cc09645af2da82ee087b1c4eb05ab1604a99af10b1c6b20d61a4b73680","abstract_canon_sha256":"49b42986359c41a20741c107064e31246d729a252a56c95fa00881aa13505194"},"schema_version":"1.0"},"canonical_sha256":"1d20736484d270857e23c0b3129a12b3c3b00cc7bae4a36b9b5632bbfe6befa0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:00:19.047558Z","signature_b64":"hZB0cJgUcxTWEV1avlAN0Ks5yBOhMMKhK5qVTZSVm+/l+PjSk28YZsQXUh65FSG3zBM/ZEmXueLwXNVsFscVBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1d20736484d270857e23c0b3129a12b3c3b00cc7bae4a36b9b5632bbfe6befa0","last_reissued_at":"2026-05-20T00:00:19.046866Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:00:19.046866Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.06476","source_version":2,"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-20T00:00:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xBy92GTbugcuBa9ycJF9s27S4d+vKBKZ5+sYlwqhSTMQU1xhL/s6qmIoRl0ADSFX7HYMmfkaHhL+JqzUuPhVCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T21:52:05.002304Z"},"content_sha256":"8011a33565f334aac3b4a0b326ca0ef03292c879f4998bbfe038062f49ff73ee","schema_version":"1.0","event_id":"sha256:8011a33565f334aac3b4a0b326ca0ef03292c879f4998bbfe038062f49ff73ee"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:DUQHGZEE2JYIK7RDYCZRFGQSWP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Accelerating Hybrid XOR$-$CNF Boolean Satisfiability Problems Natively with In-Memory Computing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AR","math.OC"],"primary_cat":"cs.ET","authors_text":"Arne Heittmann, Chan-Woo Yang, Elisabetta Valiante, Fabian B\\\"ohm, Giacomo Pedretti, Haesol Im, Ignacio Rozada, Jim Ignowski, John Paul Strachan, Masoud Mohseni, Moslem Noori, Noriyuki Kushida, Ray Beausoleil, Thomas Van Vaerenbergh, Tinish Bhattacharya, Xiangyi Zhang, Xia Sheng","submitted_at":"2025-04-08T22:41:51Z","abstract_excerpt":"The Boolean satisfiability (SAT) problem is a computationally challenging decision problem central to many industrial applications. For SAT problems in cryptanalysis, circuit design, and telecommunication, solutions can often be found more efficiently by representing them with a combination of exclusive OR (XOR) and conjunctive normal form (CNF) clauses. We propose a hardware accelerator architecture that natively embeds and solves such hybrid XOR--CNF problems using in-memory computing hardware. To achieve this, we introduce an algorithm and demonstrate, both experimentally and through simula"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.06476","kind":"arxiv","version":2},"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/2504.06476/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-05-20T00:00:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Il3nopwjF0tDDz1NgxxScj0+lEb0tCxMLIJiZgOd+ledHa/luswRsH3qmhKPa26LAda6SZFA4gIXxEV8eviUBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T21:52:05.002717Z"},"content_sha256":"d787ce58354efe1b8973cd5ab2159e1b04b0bb78ee23649a1a85566afea4a7f0","schema_version":"1.0","event_id":"sha256:d787ce58354efe1b8973cd5ab2159e1b04b0bb78ee23649a1a85566afea4a7f0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DUQHGZEE2JYIK7RDYCZRFGQSWP/bundle.json","state_url":"https://pith.science/pith/DUQHGZEE2JYIK7RDYCZRFGQSWP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DUQHGZEE2JYIK7RDYCZRFGQSWP/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-22T21:52:05Z","links":{"resolver":"https://pith.science/pith/DUQHGZEE2JYIK7RDYCZRFGQSWP","bundle":"https://pith.science/pith/DUQHGZEE2JYIK7RDYCZRFGQSWP/bundle.json","state":"https://pith.science/pith/DUQHGZEE2JYIK7RDYCZRFGQSWP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DUQHGZEE2JYIK7RDYCZRFGQSWP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:DUQHGZEE2JYIK7RDYCZRFGQSWP","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":"49b42986359c41a20741c107064e31246d729a252a56c95fa00881aa13505194","cross_cats_sorted":["cs.AR","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2025-04-08T22:41:51Z","title_canon_sha256":"24eb76cc09645af2da82ee087b1c4eb05ab1604a99af10b1c6b20d61a4b73680"},"schema_version":"1.0","source":{"id":"2504.06476","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.06476","created_at":"2026-05-20T00:00:19Z"},{"alias_kind":"arxiv_version","alias_value":"2504.06476v2","created_at":"2026-05-20T00:00:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.06476","created_at":"2026-05-20T00:00:19Z"},{"alias_kind":"pith_short_12","alias_value":"DUQHGZEE2JYI","created_at":"2026-05-20T00:00:19Z"},{"alias_kind":"pith_short_16","alias_value":"DUQHGZEE2JYIK7RD","created_at":"2026-05-20T00:00:19Z"},{"alias_kind":"pith_short_8","alias_value":"DUQHGZEE","created_at":"2026-05-20T00:00:19Z"}],"graph_snapshots":[{"event_id":"sha256:d787ce58354efe1b8973cd5ab2159e1b04b0bb78ee23649a1a85566afea4a7f0","target":"graph","created_at":"2026-05-20T00:00:19Z","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/2504.06476/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Boolean satisfiability (SAT) problem is a computationally challenging decision problem central to many industrial applications. For SAT problems in cryptanalysis, circuit design, and telecommunication, solutions can often be found more efficiently by representing them with a combination of exclusive OR (XOR) and conjunctive normal form (CNF) clauses. We propose a hardware accelerator architecture that natively embeds and solves such hybrid XOR--CNF problems using in-memory computing hardware. To achieve this, we introduce an algorithm and demonstrate, both experimentally and through simula","authors_text":"Arne Heittmann, Chan-Woo Yang, Elisabetta Valiante, Fabian B\\\"ohm, Giacomo Pedretti, Haesol Im, Ignacio Rozada, Jim Ignowski, John Paul Strachan, Masoud Mohseni, Moslem Noori, Noriyuki Kushida, Ray Beausoleil, Thomas Van Vaerenbergh, Tinish Bhattacharya, Xiangyi Zhang, Xia Sheng","cross_cats":["cs.AR","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2025-04-08T22:41:51Z","title":"Accelerating Hybrid XOR$-$CNF Boolean Satisfiability Problems Natively with In-Memory Computing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.06476","kind":"arxiv","version":2},"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:8011a33565f334aac3b4a0b326ca0ef03292c879f4998bbfe038062f49ff73ee","target":"record","created_at":"2026-05-20T00:00:19Z","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":"49b42986359c41a20741c107064e31246d729a252a56c95fa00881aa13505194","cross_cats_sorted":["cs.AR","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2025-04-08T22:41:51Z","title_canon_sha256":"24eb76cc09645af2da82ee087b1c4eb05ab1604a99af10b1c6b20d61a4b73680"},"schema_version":"1.0","source":{"id":"2504.06476","kind":"arxiv","version":2}},"canonical_sha256":"1d20736484d270857e23c0b3129a12b3c3b00cc7bae4a36b9b5632bbfe6befa0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1d20736484d270857e23c0b3129a12b3c3b00cc7bae4a36b9b5632bbfe6befa0","first_computed_at":"2026-05-20T00:00:19.046866Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:00:19.046866Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hZB0cJgUcxTWEV1avlAN0Ks5yBOhMMKhK5qVTZSVm+/l+PjSk28YZsQXUh65FSG3zBM/ZEmXueLwXNVsFscVBQ==","signature_status":"signed_v1","signed_at":"2026-05-20T00:00:19.047558Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.06476","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8011a33565f334aac3b4a0b326ca0ef03292c879f4998bbfe038062f49ff73ee","sha256:d787ce58354efe1b8973cd5ab2159e1b04b0bb78ee23649a1a85566afea4a7f0"],"state_sha256":"5fc3bb3bcddceab4ff0434178b07014452c3c86f019dbe7052e3b7d43c9f99c5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9v2p4mUDLm1drRq4uzlYBl6RgVv9CgoIOl30KCyKcIl/SYI9Cyd9MH54MYK6RA3nzuVm+Vz446khFkR7/z+BDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T21:52:05.005040Z","bundle_sha256":"b51afa2827cc0b39658a5b6d91697d56bca8ff070c5b8159937e8af0ee67967f"}}