Neha Lodha

Recent Publications

SAT-Encodings for Treecut Width and Treedepth

2019

SAT-Based Local Improvement for Finding Tree Decompositions of Small Width

2017

SAT-Encodings for Special Treewidth and Pathwidth

2017

Positive and Negative Results for Parameterized Compilability

2016