Login / Signup
On the proof complexity of logics of bounded branching.
Emil Jerábek
Published in:
CoRR (2020)
Keyphrases
</>
space complexity
proof theory
worst case
proof theoretic
databases
modal logic
computational cost
case study
genetic algorithm
data model
expert systems
branch and bound
memory requirements
information systems
theorem proving
learning algorithm
decision procedures
neural network