Ideals, determinants, and straightening: proving and using lower bounds for polynomial ideals.

Robert Andrews Michael A. Forbes

Published in: STOC (2022)

Keyphrases

lower bound
partial order
partially ordered
upper bound
branch and bound
objective function
np hard
branch and bound algorithm
term rewrite systems
optimal solution
uniform distribution
preserving transformations
average case complexity