Login / Signup
Proof Complexity of Modal Resolution.
Sarah Sigley
Olaf Beyersdorff
Published in:
J. Autom. Reason. (2022)
Keyphrases
</>
automatic theorem proving
theorem proving
real time
database
computational complexity
machine learning
high quality
worst case
decision problems
modal logic
lower complexity
consequence finding