Lower Bounds for the Complexity of Monadic Second-Order Logic

Stephan Kreutzer Siamak Tazari

Published in: CoRR (2010)

Keyphrases

lower bound
worst case
upper bound
objective function
computational complexity
np hard
average case complexity
lower and upper bounds
optimal solution
domain knowledge
branch and bound
vc dimension