Descriptive complexity of linear equation systems and applications to propositional proof complexity.

Martin Grohe Wied Pakusa

Published in: LICS (2017)

Keyphrases

expert systems
real time
computational complexity
worst case
complexity analysis
neural network
management system
np complete
decision problems
space complexity
artificial intelligence
database systems
image sequences
lower bound
retrieval systems
linear systems