An Efficient Local Search SAT Solver with Effective Preprocessing for Structured Instances.
Md Shibbir HossenMd. Masbaul Alam PolashPublished in: SN Comput. Sci. (2021)
Keyphrases
- sat solvers
- propositional satisfiability
- preprocessing
- random sat instances
- sat instances
- backtrack search
- sat solving
- sat problem
- stochastic local search
- search space
- propositional logic
- max sat
- orders of magnitude
- genetic algorithm
- search tree
- heuristic search
- tabu search
- clause learning
- constraint solver
- search algorithm
- optimal solution