Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution.
Albert AtseriasMaria Luisa BonetJuan Luis EstebanPublished in: Inf. Comput. (2002)
Keyphrases
- lower bound
- upper bound
- branch and bound
- objective function
- branch and bound algorithm
- high resolution
- optimal solution
- lower and upper bounds
- upper and lower bounds
- quadratic assignment problem
- lower bounding
- np hard
- computational complexity
- randomly generated
- max sat
- random instances
- low resolution
- sample complexity
- mathematical formulas