Fast LCF-Style Proof Reconstruction for Z3.

Sascha Böhme Tjark Weber

Published in: ITP (2010)

Keyphrases

three dimensional
theorem prover
high resolution
image reconstruction
reconstruction process
natural deduction
information retrieval
reconstruction method
discrete tomography
data sets
real world
decision trees
reconstruction error
compressive sensing
tomographic images
geometry theorem proving