3 papers
cs.ET2025
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,…
physics.comp-ph2025
Supporting Higher-Order Interactions in Practical Ising Machines
Nafisa Sadaf Prova, Hüsrev Cılasun, Abhimanyu Kumar +3
Ising machines as hardware solvers of combinatorial optimization problems (COPs) can efficiently explore large solution spaces due to their inherent parallelism and physics-based d…
cs.ET2025
HETRI: Heterogeneous Ising Multiprocessing
Ahmet Efe, Hüsrev Cılasun, Hüsrev Cılasun +6
Ising machines are effective solvers for complex combinatorial optimization problems. The idea is mapping the optimal solution(s) to a combinatorial optimization problem to the min…