Performance bounds for VDE-SAT R-Mode.
Jan SafárAlan GrantMartin BransbyPublished in: Int. J. Satell. Commun. Netw. (2023)
Keyphrases
- upper bound
- lower bound
- sat solvers
- upper and lower bounds
- satisfiability problem
- boolean satisfiability
- sat solving
- search algorithm
- stochastic local search algorithms
- max sat
- error bounds
- sat problem
- propositional satisfiability
- worst case
- lower and upper bounds
- search strategies
- variable ordering
- average case
- tight bounds
- evolutionary algorithm
- neural network