Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution.
Albert AtseriasMaria Luisa BonetJuan Luis EstebanPublished in: ICALP (2001)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- lower and upper bounds
- optimal solution
- high resolution
- branch and bound
- worst case
- np hard
- objective function
- upper and lower bounds
- lower bounding
- randomly generated problems
- theoretical analysis
- search algorithm
- vc dimension
- data structure
- max sat
- optimal cost
- consequence finding