Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers.
Tuomas HakoniemiNutan LimayeIddo TzameretPublished in: STOC (2024)
Keyphrases
- lower bound
- upper bound
- branch and bound
- branch and bound algorithm
- lower bounding
- objective function
- np hard
- wavelet transform
- lower and upper bounds
- optimal solution
- theorem proving
- upper and lower bounds
- worst case
- symmetry detection
- bilateral symmetry
- mathematical proofs
- special case
- theorem prover
- lifting scheme
- image segmentation
- computer algebra