Neha Lodha

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 9

Top Topics

Stochastic Local Search

Hypertree Width

Propositional Satisfiability

Top Venues

ACM Trans. Comput. Log.

Publications

Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider
SAT-Encodings for Treecut Width and Treedepth. ALENEX (2019)
Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider
SAT-Encodings for Treecut Width and Treedepth. CoRR (2019)
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
A SAT Approach to Branchwidth. ACM Trans. Comput. Log. 20 (3) (2019)
Hohorst William H., Christian M. Kinder, Neha Lodha, Brendan W. Smith
Is simulator-based driver rehabilitation missing motion feedback? ICORR (2019)
Johannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider
An SMT Approach to Fractional Hypertree Width. CP (2018)
Johannes Klaus Fichte, Neha Lodha, Stefan Szeider
SAT-Based Local Improvement for Finding Tree Decompositions of Small Width. SAT (2017)
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
SAT-Encodings for Special Treewidth and Pathwidth. SAT (2017)
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
A SAT Approach to Branchwidth. IJCAI (2017)
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
A SAT Approach to Branchwidth. SAT (2016)