@misc{indiciaee717d68aa7eb,
  title = {SatIn: Hardware for Boolean Satisfiability Inference},
  author = {Chenzhuo Zhu and Alexander C. Rucker and Yawen Wang and William J. Dally},
  year = {2023},
  url = {https://arxiv.org/abs/2303.02588},
  note = {Source identifier: 2303.02588}
}