Resolution-based lower bounds in MaxSAT.
Chu Min LiFelip ManyàNouredine Ould MohamedouJordi PlanesPublished in: Constraints An Int. J. (2010)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- branch and bound
- objective function
- worst case
- high resolution
- np hard
- lower and upper bounds
- upper and lower bounds
- randomly generated problems
- lower bounding
- randomly generated
- combinatorial optimization
- optimal solution
- sample size
- error bounds
- sample complexity
- vc dimension
- polynomial approximation
- integer programming
- data sets
- low resolution
- np complete