Randomness-Optimal Characterization of Two NP Proof Systems.

Alfredo De Santis Giovanni Di Crescenzo Giuseppe Persiano

Published in: RANDOM (2002)

Keyphrases

closed form
complex systems
data sets
multimedia
knowledge representation
computing systems
database
theorem prover
learning systems
np complete
computer systems
intelligent systems
peer to peer
management system
dynamic programming
expert systems
lower bound
optimal solution
website
neural network