1. Knowra
  2. Courcelle's theorem
  3. Linked from

Linked from

The 1 page that link to Courcelle's theorem, each with the reason it gives.

All 1Related 1

  • TreewidthRelated: It gives a broad tractability result for graph properties on bounded-treewidth inputs.

Machine generatedConnect to another ideaRandom page