Horn Upper Bounds and Renaming.
Marina LangloisRobert H. SloanGyörgy TuránPublished in: J. Satisf. Boolean Model. Comput. (2010)
Keyphrases
- upper bound
- lower bound
- np hard
- upper and lower bounds
- tight bounds
- branch and bound algorithm
- lower and upper bounds
- branch and bound
- propositional logic
- worst case
- sample size
- knowledge compilation
- sample complexity
- horn theories
- upper bounding
- vc dimension
- error probability
- generalization error
- database
- multi class
- optimal solution
- horn clauses