The number of lines in Frege proofs with substitution.

Alasdair Urquhart

Published in: Arch. Math. Log. (1997)

Keyphrases

computational complexity
computer vision
evolutionary algorithm
multiresolution
database
feature selection
website
face recognition
data structure
lower bound
medical images
finite number