Proof Complexity of Pigeonhole Principles.

Alexander A. Razborov

Published in: Developments in Language Theory (2001)

Keyphrases

computational complexity
worst case
neural network
information systems
design principles
theorem prover
data mining
knowledge base
learning environment
decision problems