Skip to main content
1 vote

MSOL for a vertex-cover enlargement problem

You can use CMSOL which allows cardinality predicates. See 5.2.6 in this report. This is authored by Courcelle himself. You can refer the original paper by Courcelle too, but it is a bit more terse. ...
Sriram's user avatar
  • 402

Only top scored, non community-wiki answers of a minimum length are eligible