Daehyun Kim, Nael Mizanur Rahman, Saibal Mukhopadhyay. A 32.5mW Mixed-Signal Processing-in-Memory-Based k-SAT Solver in 65nm CMOS with 74.0% Solvability for 3D-Variable 126-Clause 3-SAT Problems. In IEEE International Solid- State Circuits Conference, ISSCC 2023, San Francisco, CA, USA, February 19-23, 2023. pages 418-419, IEEE, 2023. [doi]
Abstract is missing.