Keyphrases
- upper bound
- lower bound
- upper and lower bounds
- satisfiability problem
- worst case
- lower and upper bounds
- branch and bound
- np complete
- sample size
- branch and bound algorithm
- computational complexity
- quantified boolean formulas
- sample complexity
- propositional logic
- tight bounds
- data sets
- constraint satisfaction problems
- logic programs
- scheduling problem
- sat problem
- concept classes
- error probability
- upper bounding
- tight upper and lower bounds