FYalSAT: High-Throughput Stochastic Local Search K-SAT Solver on FPGA.
Young-kyu ChoiChangsoo KimPublished in: IEEE Access (2024)
Keyphrases
- high throughput
- stochastic local search
- sat solvers
- max sat
- sat instances
- sat problem
- data acquisition
- microarray
- orders of magnitude
- propositional satisfiability
- random sat instances
- satisfiability problem
- constraint satisfaction
- high speed
- boolean satisfiability
- search strategies
- search space
- search tree
- real time
- phase transition
- low cost
- np complete
- clause learning
- information retrieval
- randomly generated
- constraint satisfaction problems
- monitoring system
- data collection
- scheduling problem
- state space
- data model
- evolutionary algorithm
- upper bound
- temporal logic
- data processing