3SAT on an all-to-all-connected CMOS Ising solver chip. - Cılasun, Hüsrev; Zeng, Ziqing; S, Ramprasath; Kumar, Abhimanyu; Lo, Hao; Cho, William; Moy, William; Kim, Chris H.; Karpuzcu, Ulya R.; Sapatnekar, Sachin S. (Scientific Reports, 2024)