ACM Transactions on Algorithms, volume 11, number 2, pages 15:1-15:31, 2014.
Theory Comput. Syst., volume 53, number 4, pages 609-620, 2013.
Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings (Matti Järvisalo and Allen Van Gelder), volume 7962 of Lecture Notes in Computer Science, pages 394-402, 2013, Springer Verlag.
29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012, February 29th - March 3rd, 2012, Paris, France, pages 338-349, 2012.
Graph-Theoretic Concepts in Computer Science - 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers, pages 172-183, 2012.