Extension Complexity, MSO Logic, and Treewidth .

Petr Kolman Martin Koutecký Hans Raj Tiwary

Published in: SWAT (2016)

Keyphrases

space complexity
monadic second order logic
decision problems
expressive power
modal logic
linear time temporal logic
search space
multi valued
computational complexity
computational cost
classical logic
bounded treewidth
proof theoretic