Twelve Problems in Proof Complexity.

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