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

Ahmet Yusuf Salim, Bart Selman, Henry Kautz +2

Nature-inspired computation is receiving increasing attention. Various Ising machine implementations have recently been proven to be effective in solving numerous combinatorial opt…