TY - RPRT TI - FPIM: Field-Programmable Ising Machines for Solving SAT AU - Thomas Jagielski AU - Rajit Manohar AU - Jaijeet Roychowdhury PY - 2023 UR - https://arxiv.org/abs/2306.01569 ID - 2306.01569 ER -