Neha Lodha

Recent Publications

A SAT Approach to Branchwidth
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
ACM Transactions on Computational Logic, volume 20, number 3, pages 15:1-15:24, 2019.
PDF bib DOI
A SAT Approach to Branchwidth
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
2019, Technical report AC-TR-19-010, Algorithms and Complexity Group, TU Wien.
PDF bib
SAT-Encodings for Treecut Width and Treedepth
Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider
2019, Technical report AC-TR-19-001, Algorithms and Complexity Group, TU Wien.
PDF bib
SAT-Encodings for Treecut Width and Treedepth
Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider
Proceedings of ALENEX 2019, the 21st Workshop on Algorithm Engineering and Experiments (Stephen G. Kobourov and Henning Meyerhenke), pages 117-129, 2019, SIAM.
PDF bib Project DOI
An SMT Approach to Fractional Hypertree Width
Johannes K. Fichte, Markus Hecher, Neha Lodha, Stefan Szeider
2018, Technical report AC-TR-18-006, Algorithms and Complexity Group, TU Wien.
PDF bib