TY - RPRT TI - Augmented Electronic Ising Machine as an Effective SAT Solver AU - Anshujit Sharma AU - Matthew Burns AU - Andrew Hahn AU - Michael Huang PY - 2023 UR - https://arxiv.org/abs/2305.01623 ID - 2305.01623 ER -