On the Role of Shared Randomness in Two Prover Proof Systems.

Mihir Bellare Uriel Feige Joe Kilian

Published in: ISTCS (1995)

Keyphrases

theorem proving
theorem prover
neural network
systems require
automated theorem proving
feature selection
management system
website
complex systems
logic programs
distributed systems
database
image processing
computer vision
social networks
real world
databases
real time