Nisan-Wigderson generators in proof systems with forms of interpolation.

Published in: Electron. Colloquium Comput. Complex. (2010)

Keyphrases

information retrieval
database
expert systems
distributed systems
systems require
neural network
machine learning
knowledge base
website
web services
management system
motion estimation
intelligent systems