Saket Saurabh

Recent Publications

A Linear-Time Parameterized Algorithm for Node Unique Label Cover
25th Annual European Symposium on Algorithms (ESA 2017) (Kirk Pruhs and Christian Sohler), volume 87 of Leibniz International Proceedings in Informatics (LIPIcs), pages 57:1-57:15, 2017, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.
Backdoors to q-Horn
30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, February 27 - March 2, 2013, Kiel, Germany (Natacha Portier and Thomas Wilke), volume 20 of LIPIcs, pages 67-79, 2013, Leibniz-Zentrum fuer Informatik.
Don't Be Strict in Local Search!
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada (Jörg Hoffmann and Bart Selman), 2012, AAAI Press.