Hardware SAT Solver-based Area-efficient Accelerator for Autonomous Driving. - Yusuke Inuma; Yuko Hara-Azumi (FPT, 2022)