Login / Signup
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic.
Zachary Kincaid
Nicolas Koh
Shaowei Zhu
Published in:
CoRR (2022)
Keyphrases
</>
consequence finding
theorem proving
belief functions
np hard