"Yusuke Inuma,Yuko Hara-Azumi","Hardware SAT Solver-based Area-efficient Accelerator for Autonomous Driving",,,"International Conference on Field-Programmable Technology (ICFPT)",,,,2022,Dec.
"ˆä�À—C—º,Œ´—SŽq","AmoebaSAT‚ð—p‚¢‚½Œø—¦“I‚ÈŽ©“®‰^“]ƒAƒNƒZƒ‰ƒŒ�[ƒ^","VLSI�ÝŒv‹Z�pŒ¤‹†‰ï (VLD)",,,,,,2022,Mar.