On the Limits of Ising Machines for Circuit-Derived SAT
Published in IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2026
A study of how well Ising machines handle structured, circuit-derived SAT instances, identifying where physics-based solvers hit their limits on these workloads.