Abstract: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 minimum energy state(s) of a physical system, which naturally converges to and stabilizes at a minimum energy state upon perturbance. The underlying mathematical abstraction, the Ising model, was originally developed to explain dynamic behavior of ferromagnetic materials and was shown to generalize to numerous other physical systems. In a generic optimization problem, each variable can interact with another in different ways. At the same time, problem sizes of practical importance are growing very fast. Unfortunately, both the number and connectivity of spins in hardware are subject to fundamental physical limits. Different problems feature different interaction patterns between variables which may not always directly match the network topology supported by a specific Ising machine. In the presence of a mismatch, emulating generic interactions using the machine topology is usually possible, however, comes at the cost of additional physical spins to facilitate the mapping. Furthermore, mismatches in the problem vs. hardware connectivity render even more physical spins necessary. Combinatorial optimization problems of practical importance come with diverse connectivity patterns, which a rigid network topology in hardware cannot efficiently cover. To bridge the gap between application demand and hardware resources, in analogy to classical heterogeneous chip multiprocessors, in this paper we make the case for heterogeneous Ising multiprocessors, where each Ising core features a different connectivity. We provide a detailed design space exploration and quantify the efficiency of different design options in terms of time or energy to solution along with solution accuracy compared to homogeneous alternatives.

3SAT on an All-to-All-Connected CMOS Ising Solver Chip

3SAT on an all-to-all-connected CMOS Ising solver chip

SKI-SAT: A CMOS-compatible Hardware for Solving SAT Problems

FPIM: Field-Programmable Ising Machines for Solving SAT

SatIn: Hardware for Boolean Satisfiability Inference

Efficient Analog Circuits for Boolean Satisfiability.

An Analog SAT Solver Based on a Deterministic Dynamical System: (invited Paper)

An Ising solver chip based on coupled ring oscillators with a 48-node all-to-all connected array architecture

Accelerating an FPGA-Based SAT Solver by Software and Hardware Co-design

FlexSpin: A CMOS Ising Machine With 256 Flexible Spin Processing Elements With 8-b Coefficients for Solving Combinatorial Optimization Problems

30.5 A Variation-Tolerant In-eDRAM Continuous-Time Ising Machine Featuring 15-Level Coefficients and Leaked Negative-Feedback Annealing

Cellular Genetic Algorithms And Local Search For 3-Sat Problem On Graphic Hardware

A CMOS-compatible Ising Machine with Bistable Nodes

Annealing Processing Architecture of 28-nm CMOS Chip for Ising Model With 512 Fully Connected Spins

EDA-Driven Preprocessing for SAT Solving

Ising machines as hardware solvers of combinatorial optimization problems

An Efficient Simulated Oscillator-Based Ising Machine on FPGAs

On Heterogeneous Ising Machines

A Scalable Universal Ising Machine Based on Interaction-Centric Storage and Compute-in-memory

A survey of SAT solver

Solving the 3-SAT Problem Based on DNA Computing