Lower Bounds for Scalars in a Typed Algebraic λ-calculus
Pablo BuirasAlejandro Díaz-CaroMauro JaskelioffPublished in: LSFA (2011)
Keyphrases
- lower bound
- algebraic structure
- computer algebra
- higher order
- upper bound
- lambda calculus
- branch and bound algorithm
- branch and bound
- objective function
- lower and upper bounds
- upper and lower bounds
- vc dimension
- np hard
- database query languages
- optimal solution
- lower bounding
- worst case
- randomly generated problems
- quadratic assignment problem
- optimal cost
- fixed order
- qualitative spatial
- online learning
- integer programming
- programming language
- online algorithms