Login / Signup

Proof Complexity of Modal Resolution.

Sarah SigleyOlaf 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