Generating Schemata of Resolution Proofs

Vincent Aravantinos Nicolas Peltier

Published in: CoRR (2011)

Keyphrases

theorem proving
consequence finding
conflict detection
multiresolution
high resolution
databases
multiscale
low resolution
image resolution
data sets
neural network
information retrieval
search space
generation process
sampling rate
higher resolution