Automating algebraic proof systems is NP-hard.

Susanna F. de Rezende Mika Göös Jakob Nordström Toniann Pitassi Robert Robere Dmitry Sokolov

Published in: STOC (2021)

Keyphrases

np hard
neural network
computer vision
learning systems
information retrieval
database
integer programming
building blocks
special case
scheduling problem
computer algebra
complex systems
np complete
management system
expert systems
lower bound
multi agent
multiscale
bayesian networks
database systems
social networks