Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers.
Tuomas HakoniemiNutan LimayeIddo TzameretPublished in: Electron. Colloquium Comput. Complex. (2024)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- branch and bound
- theorem proving
- lower and upper bounds
- objective function
- optimal solution
- worst case
- wavelet transform
- upper and lower bounds
- np hard
- feature extraction
- formal proofs
- symmetry detection
- equational theories
- bilateral symmetry
- optimal cost
- symmetry breaking
- theorem prover