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

Shanshan Xie, Mengtian Yang, S. Andrew Lanham, Yipeng Wang, Meizhi Wang, Sirish Oruganti, Jaydeep P. Kulkarni. Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems. In IEEE International Solid- State Circuits Conference, ISSCC 2023, San Francisco, CA, USA, February 19-23, 2023. pages 420-421, IEEE, 2023. [doi]

Authors

Shanshan Xie

This author has not been identified. Look up 'Shanshan Xie' in Google

Mengtian Yang

This author has not been identified. Look up 'Mengtian Yang' in Google

S. Andrew Lanham

This author has not been identified. Look up 'S. Andrew Lanham' in Google

Yipeng Wang

This author has not been identified. Look up 'Yipeng Wang' in Google

Meizhi Wang

This author has not been identified. Look up 'Meizhi Wang' in Google

Sirish Oruganti

This author has not been identified. Look up 'Sirish Oruganti' in Google

Jaydeep P. Kulkarni

This author has not been identified. Look up 'Jaydeep P. Kulkarni' in Google