Decision Diagrams

Parameterized Complexity Of Representing Models Of MSO Formulas

El artículo extiende el teorema de Courcelle, demostrando que los modelos de fórmulas MSO2 con variables libres pueden representarse mediante diagramas de decisión de tamaño linealmente parametrizado. Establece límites superiores lineales parametrizados para SDDs basados en treewidth y para OBDDs basados en pathwidth.