29.2 Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems
29.2 Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems
复制标题
29.2 Snap-SAT：一种解决大规模硬布尔可满足性问题的一次性能源性能感知全数字内存计算求解器
DOI：
10.1109/isscc42615.2023.10067380
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Kulkarni, Jaydeep P.
中科院分区：
文献类型：
--
作者：
Xie, Shanshan;Yang, Mengtian;Lanham, S. Andrew;Wang, Yipeng;Wang, Meizhi;Oruganti, Sirish;Kulkarni, Jaydeep P.
解决可满足性问题的连续时间动力系统的时间尺度
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
Hiroshi Yamashita;Kazuyuki Aihara;and Hideyuki Suzuki
通讯作者：
and Hideyuki Suzuki
用于解决约束满足问题的基于事件的体系结构
影响因子：
16.6
作者：
H. Mostafa;Lorenz K. Muller;G. Indiveri
通讯作者：
G. Indiveri