Keyphrases
- sat solvers
- satisfiability problem
- visual basic
- search algorithm
- sat problem
- boolean satisfiability
- propositional satisfiability
- stochastic local search algorithms
- search strategies
- max sat
- stochastic local search
- genetic algorithm
- data sets
- sat instances
- phase transition
- search space
- sat solving
- microsoft access
- backtracking search