Login / Signup
Plausibly hard combinatorial tautologies.
Jeremy Avigad
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