13 citations · 46 across the 31 of their papers we have counts for
1 paper · 2 filters
Michael Lampis
Courcelle's celebrated theorem states that all MSO-expressible properties can be decided in linear time on graphs of bounded treewidth. Unfortunately, the hidden constant implied b…