This research extends Courcelle's theorem by establishing parameterized linear bounds for representing MSO2 formulas using decision diagrams, while identifyi...
Level: expert
By Petr Kučera, Petr Martinek
Category: research