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.

Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Serge Gaspers and Toby Walsh), volume 10491 of Lecture Notes in Computer Science, pages 20-37, 2017, Springer Verlag.

2017, Technical report AC-TR-17-014, Algorithms and Complexity Group, TU Wien.

34th Symposium on Theoretical Aspects of Computer Science (STACS 2017) (Heribert Vollmer and Vall ́ee), volume 66 of Leibniz International Proceedings in Informatics (LIPIcs), pages 36:1-36:17, 2017, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.

25th Annual European Symposium on Algorithms (ESA 2017) (Kirk Pruhs and Christian Sohler), volume 87 of Leibniz International Proceedings in Informatics (LIPIcs), pages 47:1-47:13, 2017, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.

44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) (Ioannis Chatzigiannakis and Piotr Indyk and Fabian Kuhn and Anca Muscholl), volume 80 of Leibniz International Proceedings in Informatics (LIPIcs), pages 135:1-135:13, 2017, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.

Graph-Theoretic Concepts in Computer Science - 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers, pages 269-281, 2016.

Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016, Arlington, VA, USA, January 10-12, 2016, pages 1670-1681, 2016.

MFCS 2017.
Note: To Appear

FSTTCS 2017.
Note: To Appear