@misc{indiciae62ce35dc9d45,
  title = {A Circuit-Level Amoeba-Inspired SAT Solver},
  author = {N. Takeuchi and M. Aono and Y. Hara-Azumi and C. L. Ayala},
  year = {2019},
  doi = {10.1109/tcsii.2019.2951181},
  url = {https://arxiv.org/abs/1812.11792},
  note = {Source identifier: 1812.11792}
}