A Circuit-Level Amoeba-Inspired SAT Solver.

Published in: IEEE Trans. Circuits Syst. II Express Briefs (2020)