Algebraic Proof Complexity: Progress, Frontiers and Challenges.

Toniann Pitassi Iddo Tzameret

Published in: Electron. Colloquium Comput. Complex. (2016)

Keyphrases

lessons learned
computational complexity
key issues
computational cost
database
neural network
real world
decision problems
lower complexity
databases
genetic algorithm
metadata
case study
expert systems
memory requirements