On the proof complexity of MCSAT.

Gereon Kremer Erika Ábrahám Vijay Ganesh

Published in: CoRR (2021)

Keyphrases

theorem prover
upper bound
worst case
real time
machine learning
learning algorithm
knowledge base
decision trees
lower bound
memory requirements
theorem proving
space complexity
high computational complexity
automated theorem proving