Parameterized Proof Complexity.

Stefan S. Dantchev Barnaby Martin Stefan Szeider

Published in: Comput. Complex. (2011)

Keyphrases

worst case
theorem proving
conjunctive query containment
multiscale
probability distribution
database
real time
real world
web pages
high level
computational complexity
information technology
multiresolution
space complexity