Login / Signup
Verifying Proofs in Constant Depth.
Olaf Beyersdorff
Samir Datta
Andreas Krebs
Meena Mahajan
Gido Scharfenberger-Fabian
Karteek Sreenivasaiah
Michael Thomas
Heribert Vollmer
Published in:
Electron. Colloquium Comput. Complex. (2012)
Keyphrases
</>
depth map
theorem proving
formal proofs
real time
data sets
real world
learning algorithm
case study
multi agent
data structure
depth information
theorem prover
depth estimation
formal proof