Why extension-based proofs fail.

Dan Alistarh James Aspnes Faith Ellen Rati Gelashvili Leqi Zhu

Published in: STOC (2019)

Keyphrases

decision procedures
multiresolution
theorem proving
real time
databases
learning algorithm
search algorithm
natural language
mobile robot
temporal logic
automated theorem provers
mathematical proofs