Login / Signup
On proof theory in computational complexity: overview.
Lew Gordeev
Edward Hermann Haeusler
Published in:
CoRR (2022)
Keyphrases
</>
proof theory
computational complexity
default reasoning
proof theoretic
automated reasoning
special case
np complete
reasoning problems
decision problems
machine learning
decision making
np hard
belief revision
default logic