@inproceedings{CTT100895527,
  author = {Yusuke Inuma and Yuko Hara-Azumi},
  title = {Hardware SAT Solver-based Area-efficient Accelerator for Autonomous Driving},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100876245,
  author = {井沼佑亮 and 原祐子},
  title = {AmoebaSATを用いた効率的な自動運転アクセラレータ},
  booktitle = {},
  year = 2022,
}