TY  - RPRT
TI  - Accelerating Hybrid XOR$-$CNF Boolean Satisfiability Problems Natively with In-Memory Computing
AU  - Haesol Im
AU  - Fabian Böhm
AU  - Giacomo Pedretti
AU  - Noriyuki Kushida
AU  - Moslem Noori
AU  - Elisabetta Valiante
AU  - Xiangyi Zhang
AU  - Chan-Woo Yang
AU  - Tinish Bhattacharya
AU  - Xia Sheng
AU  - Jim Ignowski
AU  - Arne Heittmann
AU  - John Paul Strachan
AU  - Masoud Mohseni
AU  - Ray Beausoleil
AU  - Thomas Van Vaerenbergh
AU  - Ignacio Rozada
PY  - 2026
DO  - 10.1038/s41467-026-69465-2
UR  - https://arxiv.org/abs/2504.06476
ID  - 2504.06476
ER  -