FPIM: Field-Programmable Ising Machines for Solving SAT. - Thomas Jagielski; Rajit Manohar; Jaijeet Roychowdhury (CoRR, 2023)