On the Limits of Ising Machines for Circuit-Derived SAT

Ahmet Efe, Hüsrev Cılasun, Abhimanyu Kumar +9

Emerging Ising machines are promising for solving computationally hard optimization problems, yet their limits on structured, circuit-derived satisfiability (SAT) problems remain p…