SAT-Hard: A Learning-Based Hardware SAT-Solver.

Buse Ustaoglu Sebastian Huhn Frank Sill Torres Daniel Große Rolf Drechsler

Published in: DSD (2019)

Keyphrases

sat solvers
learning algorithm
sat solving
reinforcement learning
orders of magnitude
sat instances
propositional satisfiability
boolean satisfiability
search space
constraint satisfaction
search strategies
sat problem