@misc{indiciaef29664c5b3da, title = {Augmented Electronic Ising Machine as an Effective SAT Solver}, author = {Anshujit Sharma and Matthew Burns and Andrew Hahn and Michael Huang}, year = {2023}, url = {https://arxiv.org/abs/2305.01623}, note = {Source identifier: 2305.01623} }