Monadic Second Order Logic

Parameterized Complexity Of Representing Models Of MSO Formulas

L'article étend le théorème de Courcelle en montrant que les modèles de formules MSO2 avec variables libres peuvent être représentés par des diagrammes de décision de taille linéairement paramétrée. Il établit des bornes supérieures linéaires paramétrées pour les SDD basées sur la treewidth et pour les OBDD basées sur la pathwidth.