Login / Signup
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic.
Zachary Kincaid
Nicolas Koh
Shaowei Zhu
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
consequence finding
theorem proving
np hard
object oriented
np complete