Upper and Lower Bounds for Different Parameterizations of (n, 3)-MAXSAT.
Tatiana BelovaIvan BliznetsPublished in: COCOA (2018)
Keyphrases
- upper and lower bounds
- upper bound
- lower bound
- branch and bound algorithm
- lower and upper bounds
- partition function
- worst case
- generalization error
- sample size
- branch and bound
- combinatorial optimization
- marginal probabilities
- machine learning
- sample complexity
- sat solvers
- small number
- special case
- data structure
- optimal solution
- feature extraction
- decision trees