Soundness of Q-resolution with dependency schemes.

Friedrich Slivovsky Stefan Szeider

Published in: Theor. Comput. Sci. (2016)

Keyphrases

database
decision trees
high resolution
higher resolution
databases
image processing
similarity measure
artificial neural networks
low resolution
information content