Parameterized Proof Complexity.

Stefan S. Dantchev Barnaby Martin Stefan Szeider

Published in: FOCS (2007)

Keyphrases

decision problems
computational complexity
space complexity
lower complexity
databases
real world
computer vision
special case
memory requirements
mathematical proofs