An FPGA-based Stochastic SAT Solver Leveraging Inter-Variable Dependencies.
Anh Hoang Ngoc NguyenYuko Hara-AzumiPublished in: FPL (2021)
Keyphrases
- sat solvers
- boolean formula
- sat solving
- orders of magnitude
- boolean satisfiability
- constraint satisfaction
- search strategies
- sat problem
- search tree
- sat instances
- propositional satisfiability
- max sat
- search space
- constraint solver
- symmetry breaking
- np complete
- clause learning
- sat encodings
- randomly generated
- expressive power
- simulated annealing
- information retrieval
- boolean variables