1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Georg Gottlob, Reinhard Pichler, Fang Wei
Bounded treewidth and Monadic Second Order (MSO) logic have proved to be key concepts in establishing fixed-parameter tractability results. Indeed, by Courcelle's Theorem we know:…