Counting the Number of Equivalent Binary Resolution Proofs.

Joseph D. Horton

Published in: LPAR (2001)

Keyphrases

small number
computer vision
image processing
high quality
multiscale
data structure
special case
probabilistic model