29.2 Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems

2023 IEEE International Solid-State Circuits Conference (ISSCC), 2023

Recommended citation: Shanshan Xie, Mengtian Yang, S Lanham, Yipeng Wang, Meizhi Wang, Sirish Oruganti, Jaydeep Kulkarni, "29.2 Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems." 2023 IEEE International Solid-State Circuits Conference (ISSCC), 2023.