Login / Signup
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