An improved upper bound for SAT.
Huairui ChuMingyu XiaoZhe ZhangPublished in: Theor. Comput. Sci. (2021)
Keyphrases
- upper bound
- lower bound
- sat solvers
- worst case
- branch and bound algorithm
- satisfiability problem
- branch and bound
- max sat
- boolean satisfiability
- upper and lower bounds
- error probability
- sat instances
- generalization error
- lower and upper bounds
- phase transition
- search strategies
- search algorithm
- single item
- sat problem
- information systems
- sat solving
- stochastic local search
- data sets