5 papers
An FPGA-ASIC Co-Design Framework for Capacity-Constrained Physics-Based Ising Chips
Ruihong Yin, Yue Zheng, Chaohui Li +6
When a problem exceeds an analog Ising machine's spin capacity it cannot be solved in one shot: a digital orchestration layer must iteratively decompose the graph, clamp boundary s…
Extractive summarization on a CMOS Ising machine
Ziqing Zeng, Abhimanyu Kumar, Ahmet Efe +4
Extractive summarization (ES) aims to generate a concise summary by selecting a subset of sentences from a document while maximizing relevance and minimizing redundancy. Although m…
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,…
HETRI: Heterogeneous Ising Multiprocessing
Ahmet Efe, Hüsrev Cılasun, Abhimanyu Kumar +4
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…
3SAT on an All-to-All-Connected CMOS Ising Solver Chip
Hüsrev Cılasun, Ziqing Zeng, Ramprasath S +6
This work solves 3SAT, a classical NP-complete problem, on a CMOS-based Ising hardware chip with all-to-all connectivity. The paper addresses practical issues in going from algorit…