@misc{indiciae31e40317ba92,
  title = {FPIM: Field-Programmable Ising Machines for Solving SAT},
  author = {Thomas Jagielski and Rajit Manohar and Jaijeet Roychowdhury},
  year = {2023},
  url = {https://arxiv.org/abs/2306.01569},
  note = {Source identifier: 2306.01569}
}