A Circuit-Level Amoeba-Inspired SAT Solver.

Naoki Takeuchi Masashi Aono Yuko Hara-Azumi Christopher L. Ayala

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

Keyphrases

sat solvers
boolean satisfiability
sat solving
constraint satisfaction
propositional satisfiability
orders of magnitude
sat instances
search space
special case
search methods
search tree
sat problem
max sat
sat encodings