TY  - RPRT
TI  - On the Limits of Ising Machines for Circuit-Derived SAT
AU  - Ahmet Efe
AU  - Abhimanyu Kumar
AU  - Nafisa Sadaf Prova
AU  - Hüsrev Cılasun
AU  - Ziqing Zeng
AU  - Tahmida Islam
AU  - Ruihong Yin
AU  - Chaohui Li
AU  - Peter Kreye
AU  - Chris Kim
AU  - Sachin S. Sapatnekar
AU  - Ulya R. Karpuzcu
PY  - 2026
DO  - 10.1145/3831252.3834256
UR  - https://arxiv.org/abs/2511.21046
ID  - 2511.21046
ER  -