Login / Signup
From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk).
Iddo Tzameret
Published in:
CSL (2020)
Keyphrases
</>
invited talk
proof theory
default reasoning
proof theoretic
selected papers
automated reasoning
knowledge discovery and data mining
np complete
data mining
computational complexity
cp nets
data analysis
artificial intelligence
special case
search space
reasoning problems
information systems