Competing Provers Yield Improved Karp-Lipton Collapse Results.

Jin-yi Cai Venkatesan T. Chakaravarthy Lane A. Hemaspaandra Mitsunori 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