Neha Lodha

According to our database, Neha Lodha authored at least 6 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

A SAT Approach to Branchwidth.

Neha Lodha, Sebastian Ordyniak, Stefan Szeider

ACM Trans. Comput. Log., 2019

Is simulator-based driver rehabilitation missing motion feedback?

Hohorst William H., Christian M. Kinder, Neha Lodha, Brendan W. Smith

Proceedings of the 16th IEEE International Conference on Rehabilitation Robotics, 2019

SAT-Encodings for Treecut Width and Treedepth.

Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider

Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments, 2019

2018

An SMT Approach to Fractional Hypertree Width.

Johannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

SAT-Encodings for Special Treewidth and Pathwidth.

Neha Lodha, Sebastian Ordyniak, Stefan Szeider

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

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

Johannes Klaus Fichte, Neha Lodha, Stefan Szeider

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017