Search Results for author: Anshujit Sharma

Found 2 papers, 0 papers with code

Augmented Electronic Ising Machine as an Effective SAT Solver

no code implementations1 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.