The Depth of Resolution Proofs.

Alasdair Urquhart

Published in: Stud Logica (2011)

Keyphrases

high resolution
depth information
theorem proving
depth map
theorem prover
data mining
information retrieval
high quality
low resolution
data sets
three dimensional
multi view
depth images
decision procedures
motion parallax
conflict detection