16 citations · 45 across the 11 of their papers we have counts for
1 paper · 2 filters
Benjamin A. Burton, Rodney G. Downey
In graph theory, Courcelle's theorem essentially states that, if an algorithmic problem can be formulated in monadic second-order logic, then it can be solved in linear time for gr…