Extension Complexity, MSO Logic, and Treewidth.

Petr Kolman Martin Koutecký Hans Raj Tiwary

Published in: CoRR (2015)

Keyphrases

space complexity
monadic second order logic
computational complexity
worst case
bounded treewidth
search space
upper bound
database
search algorithm
logic programming
automated reasoning
multi valued
computational properties
tableau calculus
discrete random variables
monadic datalog