Keyphrases
- lower bound
- upper bound
- quantifier free
- branch and bound algorithm
- high order
- objective function
- np hard
- branch and bound
- lower and upper bounds
- optimal solution
- first order logic
- higher order
- vc dimension
- quadratic assignment problem
- worst case
- order tensor
- mathematical formulas
- tensor space
- rewrite systems
- arithmetic operations
- diffusion tensor
- floating point
- optimal cost
- upper and lower bounds
- pairwise