Name Card

Full name Familienname, Vorname
Lodha, Neha
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-8 of 8 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan A SAT Approach to BranchwidthArtikel Article 2019
2Ganian, Robert ; Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan SAT-Encodings for Treecut Width and TreedepthKonferenzbeitrag Inproceedings 2019
3Fichte, Johannes ; Hecher, Markus ; Lodha, Neha ; Szeider, Stefan An SMT Approach to Fractional Hypertree WidthKonferenzbeitrag InproceedingsAug-2018
4Lodha Neha - 2018 - SAT approach for decomposition methods.pdf.jpgLodha, Neha SAT approach for decomposition methodsThesis Hochschulschrift 2018
5Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan SAT-Encodings for Special Treewidth and PathwidthKonferenzbeitrag Inproceedings 2017
6Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan A SAT Approach to BranchwidthKonferenzbeitrag Inproceedings 2017
7Fichte, Johannes K. ; Lodha, Neha ; Szeider, Stefan SAT-Based Local Improvement for Finding Tree Decompositions of Small WidthKonferenzbeitrag Inproceedings 2017
8Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan A SAT Approach to BranchwidthKonferenzbeitrag Inproceedings 2016