Neha Lodha

According to our database1, Neha Lodha
  • authored at least 4 papers between 2016 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
SAT-Encodings for Special Treewidth and Pathwidth.
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.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

A SAT Approach to Branchwidth.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
A SAT Approach to Branchwidth.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016


  Loading...