A Logical Reconstruction of Reachability.

Tatiana Rybina Andrei Voronkov

Published in: Ershov Memorial Conference (2003)

Keyphrases

three dimensional
image reconstruction
reconstruction process
high resolution
discrete tomography
reconstruction error
tomographic reconstruction
logical properties
data sets
data mining
machine learning
artificial intelligence
state space
error analysis
compressed sensing
logical reasoning