Abstract
One of the most famous algorithmic meta-theorems states that every graph property which can be defined in counting monadic second order logic (CMSOL) can be checked in linear time on graphs of bounded treewidth, which is known as Courcelle's Theorem (Courcelle, 1990). These algorithms are constructed as finite state tree
... read more