Researchers extended Courcelle's theorem to show that models of MSO2 formulas with free variables fit within decision diagrams of parameterized linear size. The study establishes a linear upper bound on sentential decision diagrams relative to graph treewidth and formula size. This optimizes how complex graph properties are represented and queried in parameterized complexity.