Login / Signup
Twelve Problems in Proof Complexity.
Pavel Pudlák
Published in:
CSR (2008)
Keyphrases
</>
benchmark problems
optimization problems
decision problems
problems involving
np hardness
real time
databases
real world
image processing
artificial neural networks
multi objective
hidden markov models
worst case
theorem proving