Login / Signup
Verifying Proofs in Constant Depth.
Olaf Beyersdorff
Samir Datta
Meena Mahajan
Gido Scharfenberger-Fabian
Karteek Sreenivasaiah
Michael Thomas
Heribert Vollmer
Published in:
MFCS (2011)
Keyphrases
</>
depth map
theorem prover
theorem proving
model checking
depth information
information retrieval
real time
data sets
image sequences
view synthesis
decision procedures