Fedor v. Fomin and Daniel Lokshtanov and Neeldhara Misra and M. S. Ramanujan and Saket Saurabh

Recent Publications

Solving d-SAT via Backdoors to Small Treewidth

Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015, pages 630-641, 2015.