ทีมนักวิจัยนำเสนอผลการศึกษาด้านความซับซ้อนเชิงพารามิเตอร์ (Parameterized Complexity) โดยมุ่งเน้นไปที่การแสดงโมเดลของ Monadic Second Order Logic (MSO2) formulas งานวิจัยนี้ต่อยอดจากทฤษฎีของ Courcelle ซึ่งเป็นรากฐานสำคัญในการตรวจสอบคุณสมบัติของกราฟ โดยทีมวิจัยได้พิสูจน์ว่าโมเดลที่มีตัวแปรอิสระสามารถแสดงผลในรูปแบบ Decision Diagram ได้ ซึ่งมีขนาดที่แปรผันตาม treewidth และ pathwidth ของกราฟในลักษณะเชิงเส้น
การค้นพบที่สำคัญประกอบด้วยการกำหนดขอบเขตบน (Upper Bound) ของขนาด Sentential Decision Diagram (SDD) และ Ordered Binary Decision Diagram (OBDD) นอกจากนี้ งานวิจัยยังระบุขอบเขตล่างที่แสดงให้เห็นว่าไม่ใช่ทุกโมเดลที่ใช้ treewidth จะสามารถแสดงผลด้วย OBDD ที่มีขนาดเหมาะสมได้เสมอไป ซึ่งเป็นการเชื่อมโยงทฤษฎีความซับซ้อนเข้ากับการแสดงความรู้ในระบบคอมพิวเตอร์
