no code implementations • 1 May 2023 • Anshujit Sharma, Matthew Burns, Andrew Hahn, Michael Huang
With experimental analyses, we show that such an Augmented Ising Machine for SAT (AIMS), outperforms state-of-the-art software-based, GPU-based and conventional hardware SAT solvers by orders of magnitude.