Login / Signup

Competing Provers Yield Improved Karp-Lipton Collapse Results.

Jin-yi CaiVenkatesan T. ChakaravarthyLane A. HemaspaandraMitsunori Ogihara
Published in: STACS (2003)
Keyphrases
  • artificial intelligence
  • computer vision
  • decision making
  • high quality
  • pattern recognition
  • lower bound
  • multiresolution
  • knapsack problem
  • theorem prover
  • search procedure