Neha Lodha receives the SAT 2016 best student paper award

At SAT 2016, the 19th International Conference on Theory and Applications of Satisfiability Testing, which was held in Bordeaux, France, 5th-8th July, 2016, our PhD student Neha Lodha received the best student paper award for the paper: A SAT Approach to Branchwidth (with S. Ordyniak and S. Szeider). The paper appeared in the  SAT 2016 Proceedings (Nadia Creignou, Daniel Le Berre, eds.), volume 9710 of Lecture Notes in Computer Science, pages 179–195, 2016, Springer Verlag.



Neha with the SAT 2016 program chairs Daniel Le Berre and Nadia Creignou