New Worst-Case upper Bound for Counting Exact Satisfiability.
Junping ZhouWeihua SuJianan WangPublished in: Int. J. Found. Comput. Sci. (2014)
Keyphrases
- upper bound
- worst case
- lower bound
- approximation algorithms
- computational complexity
- upper and lower bounds
- exact solution
- satisfiability problem
- average case
- greedy algorithm
- sample size
- branch and bound algorithm
- np complete
- branch and bound
- worst case analysis
- lower and upper bounds
- np hard
- running times
- single item
- neural network
- online algorithms
- error probability
- space complexity
- generalization error
- error bounds
- sample complexity
- constant factor
- propositional logic