Amoeba-Inspired Stochastic Hardware SAT Solver.

Kazuaki Hara Naoki Takeuchi Masashi Aono Yuko Hara-Azumi

Published in: ISQED (2019)

Keyphrases

sat solvers
orders of magnitude
sat solving
constraint satisfaction
sat problem
propositional satisfiability
boolean satisfiability
max sat
sat instances
search strategies
search tree
search space
clause learning
boolean formula
constraint solver
satisfiability problem
unsatisfiable cores