SAT-Based Local Improvement for Finding Tree Decompositions of Small Width. - Johannes Klaus Fichte; Neha Lodha; Stefan Szeider (SAT, 2017)

SAT-Encodings for Special Treewidth and Pathwidth. - Neha Lodha; Sebastian Ordyniak; Stefan Szeider (SAT, 2017)

An SMT Approach to Fractional Hypertree Width. - Johannes Klaus Fichte; Markus Hecher; Neha Lodha; Stefan Szeider (CP, 2018)

SAT-Encodings for Treecut Width and Treedepth. - Robert Ganian; Neha Lodha; Sebastian Ordyniak; Stefan Szeider (ALENEX, 2019)

Is simulator-based driver rehabilitation missing motion feedback? - Hohorst William H.; Christian M. Kinder; Neha Lodha; Brendan W. Smith (ICORR, 2019)

A SAT Approach to Branchwidth. - Neha Lodha; Sebastian Ordyniak; Stefan Szeider (ACM Trans. Comput. Log., 2019)