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