Items where authors include "Lodha, N."
Article
Lodha, N., Ordyniak, S. orcid.org/0000-0003-1935-651X and Szeider, S. (2019) A SAT approach to branchwidth. ACM Transactions on Computational Logic, 20 (3). 15. ISSN 1529-3785
Proceedings Paper
Ganian, R., Lodha, N., Ordyniak, S. orcid.org/0000-0003-1935-651X et al. (1 more author) (2019) SAT-encodings for treecut width and treedepth. In: Kobourov, S. and Meyerhenke, H., (eds.) 2019 Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments (ALENEX). Twenty-First Workshop on Algorithm Engineering and Experiments (ALENEX), 07-08 Jan 2019, San Diego, California, USA. Society for Industrial and Applied Mathematics , pp. 117-129. ISBN 978-1-61197-549-9