Accelerating hybrid XOR-CNF Boolean satisfiability problems natively with in-memory computing
利用内存计算加速混合 XOR-CNF 布尔可满足性问题
期刊:Nature Communications
影响因子:15.7
doi:10.1038/s41467-026-69465-2
Im, Haesol; Böhm, Fabian; Pedretti, Giacomo; Kushida, Noriyuki; Noori, Moslem; Valiante, Elisabetta; Zhang, Xiangyi; Yang, Chan-Woo; Bhattacharya, Tinish; Sheng, Xia; Ignowski, Jim; Heittmann, Arne; Strachan, John Paul; Mohseni, Masoud; Beausoleil, Raymond; Vaerenbergh, Thomas Van; Rozada, Ignacio