Brief Announcement: Why Extension-Based Proofs Fail.

Dan Alistarh James Aspnes Faith Ellen Rati Gelashvili Leqi Zhu

Published in: PODC (2020)

Keyphrases

artificial intelligence
theorem proving
real time
data sets
real world
cooperative
theorem prover
computer programs