Plausibly hard combinatorial tautologies.

Published in: Proof Complexity and Feasible Arithmetics (1996)

Keyphrases

databases
computer vision
image processing
special case
information retrieval
clustering algorithm
preprocessing
multiresolution
management system
computationally hard