Login / Signup
Complexity Classes, Propositional Proof Systems, and Formal Theories.
Stephen A. Cook
Published in:
LICS (2002)
Keyphrases
</>
computational complexity
formal methods
expert systems
neural network
distributed systems
np hard
multi class
complex systems
propositional logic