Diagonalization in proof complexity

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

Keyphrases

computational complexity
worst case
lower bound
database
genetic algorithm
information systems
case study
theorem prover
theorem proving
space complexity
high computational complexity