SatIn: Hardware for Boolean Satisfiability Inference

Chenzhuo Zhu, Alexander C. Rucker, Yawen Wang +1

This paper describes SatIn, a hardware accelerator for determining boolean satisfiability (SAT) -- an important problem in many domains including verification, security analysis, a…