Width and size of regular resolution proofs

Alasdair Urquhart

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

high resolution
image resolution
data mining
computer vision
image processing
artificial neural networks
real time
computational complexity
inference rules
space complexity
sampling rate
consequence finding