TY  - RPRT
TI  - SatIn: Hardware for Boolean Satisfiability Inference
AU  - Chenzhuo Zhu
AU  - Alexander C. Rucker
AU  - Yawen Wang
AU  - William J. Dally
PY  - 2023
UR  - https://arxiv.org/abs/2303.02588
ID  - 2303.02588
ER  -