Neha Lodha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2016–2019
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ALENEX | SAT-Encodings for Treecut Width and Treedepth. | Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider |
| 2018 | CP | An SMT Approach to Fractional Hypertree Width. | Johannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider |
| 2017 | IJCAI | A SAT Approach to Branchwidth. | Neha Lodha, Sebastian Ordyniak, Stefan Szeider |
| 2017 | SAT | SAT-Based Local Improvement for Finding Tree Decompositions of Small Width. | Johannes Klaus Fichte, Neha Lodha, Stefan Szeider |
| 2017 | SAT | SAT-Encodings for Special Treewidth and Pathwidth. | Neha Lodha, Sebastian Ordyniak, Stefan Szeider |
| 2016 | SAT | A SAT Approach to Branchwidth. | Neha Lodha, Sebastian Ordyniak, Stefan Szeider |