A Circuit-Level Amoeba-Inspired SAT Solver.

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

Published in: CoRR (2018)

Keyphrases

sat solvers
sat solving
sat instances
boolean satisfiability
search space
constraint satisfaction
search strategies
max sat
sat problem
sat encodings
information retrieval
evolutionary algorithm
special case
search tree