Hardware SAT Solver-based Area-efficient Accelerator for Autonomous Driving | IEEE Conference Publication | IEEE Xplore