A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds.
Mladen MiksaJakob NordströmPublished in: CoRR (2015)
Keyphrases
- lower bound
- detection method
- experimental evaluation
- computational cost
- synthetic data
- high accuracy
- dynamic programming
- high precision
- neural network
- support vector machine
- probabilistic model
- cost function
- significant improvement
- preprocessing
- search space
- clustering method
- computational complexity
- segmentation method
- search algorithm