Algebraic Proof Complexity: Progress, Frontiers and Challenges.
Toniann PitassiIddo TzameretPublished in: CoRR (2016)
Keyphrases
- lessons learned
- real world
- technical challenges
- key issues
- algebraic geometry
- computational issues
- lower complexity
- open issues
- worst case
- artificial neural networks
- higher order
- computational complexity
- video sequences
- theorem prover
- space complexity
- multi agent
- objective function
- mathematical theory
- future trends
- database systems
- neural network
- database