New Lower Bounds for Polynomial Calculus over Non-Boolean Bases.
Yogesh DahiyaMeena MahajanSasank MouliPublished in: SAT (2024)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- boolean functions
- real valued
- np hard
- computer algebra
- upper and lower bounds
- branch and bound
- objective function
- average case complexity
- threshold functions
- optimal solution
- linear programming relaxation
- lower bounding
- vc dimension
- lower and upper bounds
- basis functions
- statistical queries
- randomly generated problems
- average case
- concept class
- quadratic assignment problem
- boolean queries
- online learning
- linear programming
- worst case