Login / Signup
Proof Complexity in Algebraic Systems and Bounded Depth Frege Systems with Modular Counting.
Samuel R. Buss
Russell Impagliazzo
Jan Krajícek
Pavel Pudlák
Alexander A. Razborov
Jirí Sgall
Published in:
Comput. Complex. (1997)
Keyphrases
</>
artificial intelligence
database
digital libraries
intelligent systems
computer systems
learning systems
database systems
expert systems
user interface
management system
worst case
distributed systems
building blocks
complex systems