Hardware SAT Solver-based Area-efficient Accelerator for Autonomous Driving.

Yusuke Inuma Yuko Hara-Azumi

Published in: FPT (2022)

Keyphrases

learning algorithm
sat solvers
autonomous driving
real time
sat solving
orders of magnitude
grand challenge
stereo vision
field programmable gate array
evolutionary algorithm
optimization problems
constraint satisfaction
search strategies