"Kazuaki Hara,Naoki Takeuchi,Masashi Aono,Yuko Hara-Azumi","Amoeba-Inspired Stochastic Hardware SAT Solver","International Symposium on Quality Electronic Design",,,,,,2019,Mar. "Kazuaki Hara,Yuko Hara-Azumi","A Scalable FPGA Implementation of Amoeba-SAT Solver","Multidisciplinary International Student Workshop",,,,,,2017,Aug.