Login / Signup
Competing provers yield improved Karp-Lipton collapse results.
Jin-yi Cai
Venkatesan T. Chakaravarthy
Lane A. Hemaspaandra
Mitsunori Ogihara
Published in:
Inf. Comput. (2005)
Keyphrases
</>
neural network
pattern recognition
three dimensional
information technology
artificial neural networks
dynamic programming
probabilistic model
improved algorithm
theorem prover