Algorithmica, volume 76, number 1, pages 168–194, 2016.

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 55-66, 2013, Leibniz-Zentrum fuer Informatik.

Theoretical Computer Science, volume 481, pages 85-99, 2013.

Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings (Karem A. Sakallah and Laurent Simon), volume 6695 of Lecture Notes in Computer Science, pages 47-60, 2011, Springer Verlag.

SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings (Jan van Leeuwen and Anca Muscholl and David Peleg and Jaroslav Pokorný and Bernhard Rumpe), volume 5901 of Lecture Notes in Computer Science, pages 503-514, 2010, Springer Verlag.

IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India (Kamal Lodaya and Meena Mahajan), volume 8 of LIPIcs, pages 84-95, 2010, Leibniz-Zentrum fuer Informatik.

Theoretical Computer Science, volume 410, number 21-23, pages 2045-2053, 2009.

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings (Vikraman Arvind and Sanjiva Prasad), volume 4855 of Lecture Notes in Computer Science, pages 340-351, 2007, Springer Verlag.