@misc{indiciae8271f7dec20d, title = {On the Limits of Ising Machines for Circuit-Derived SAT}, author = {Ahmet Efe and Abhimanyu Kumar and Nafisa Sadaf Prova and Hüsrev Cılasun and Ziqing Zeng and Tahmida Islam and Ruihong Yin and Chaohui Li and Peter Kreye and Chris Kim and Sachin S. Sapatnekar and Ulya R. Karpuzcu}, year = {2026}, doi = {10.1145/3831252.3834256}, url = {https://arxiv.org/abs/2511.21046}, note = {Source identifier: 2511.21046} }