Algebraic proof complexity: progress, frontiers and challenges.

Toniann Pitassi Iddo Tzameret

Published in: ACM SIGLOG News (2016)

Keyphrases

lessons learned
computational complexity
higher order
key issues
technical challenges
open issues
database
real world
worst case
computational issues
neural network
data mining
artificial intelligence
e learning
bayesian networks
multi agent systems