Amoeba-Inspired Hardware SAT Solver with Effective Feedback Control.

Anh Hoang Ngoc Nguyen Masashi Aono Yuko Hara-Azumi

Published in: FPT (2019)

Keyphrases

feedback control
sat solvers
closed loop
optimal control
sat solving
orders of magnitude
constraint satisfaction
adaptive control
sat problem
propositional satisfiability
autonomous control
data structure
boolean satisfiability
sat instances
search strategies
dynamic environments
search algorithm