On Solving Structured SAT on Ising Machines: A Semiprime Factorization Study

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

Ising machines are emerging as a new technology for solving various classes of computationally hard problems of practical importance, yet their limits on structured SAT workloads,…