An Optimal Lower Bound for Resolution with 2-Conjunctions.
Jan JohannsenN. S. NarayanaswamyPublished in: MFCS (2002)
Keyphrases
- lower bound
- optimal solution
- upper bound
- worst case
- constant factor
- objective function
- optimal cost
- competitive ratio
- lower and upper bounds
- high resolution
- optimal design
- lagrangian relaxation
- branch and bound
- branch and bound algorithm
- closed form
- linear programming relaxation
- lower bounding
- linear programming
- np hard