research
∙
03/05/2023
SatIn: Hardware for Boolean Satisfiability Inference
This paper describes SatIn, a hardware accelerator for determining boole...
share
research
∙
04/20/2022
Where is Your App Frustrating Users?
User reviews of mobile apps provide a communication channel for develope...
research
∙
01/25/2022
