TY  - RPRT
TI  - A Circuit-Level Amoeba-Inspired SAT Solver
AU  - N. Takeuchi
AU  - M. Aono
AU  - Y. Hara-Azumi
AU  - C. L. Ayala
PY  - 2019
DO  - 10.1109/tcsii.2019.2951181
UR  - https://arxiv.org/abs/1812.11792
ID  - 1812.11792
ER  -