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.
Comments are closed.