@inproceedings{CTT100788558,
  author = {Kazuaki Hara and Naoki Takeuchi and Masashi Aono and Yuko Hara-Azumi},
  title = {Amoeba-Inspired Stochastic Hardware SAT Solver},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100771579,
  author = {Kazuaki Hara and Yuko Hara-Azumi},
  title = {A Scalable FPGA Implementation of Amoeba-SAT Solver},
  booktitle = {},
  year = 2017,
}