Login / Signup

Verifying Proofs in Constant Depth.

Olaf BeyersdorffSamir DattaMeena MahajanGido Scharfenberger-FabianKarteek SreenivasaiahMichael ThomasHeribert 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