1

Stable Matching with Uncertain Pairwise Preferences
Proceedings of AAMAS 2017, the 16th International Conference on Autonomous Agents and Multiagent Systems, 2017, IFAAMAS/ACM.
PDF bib
Towards a Polynomial Kernel for Directed Feedback Vertex Set
42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark (Kim G. Larsen and Hans L. Bodlaender and Jean-Fran\ccois Raskin), volume 83 of LIPIcs, pages 36:1-36:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
PDF bib
A Faster Parameterized Algorithm for Group Feedback Edge Set
Graph-Theoretic Concepts in Computer Science - 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers, pages 269-281, 2016.
PDF bib
A New Perspective on FO Model Checking of Dense Graph Classes
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS ‘16, New York, NY, USA, July 5-8, 2016, pages 176-184, 2016.
PDF bib
A Parameterized Algorithm for Mixed-Cut
LATIN 2016: Theoretical Informatics - 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings, pages 672-685, 2016.
PDF bib
A SAT Approach to Branchwidth
Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Nadia Creignou and Daniel Le Berre), volume 9710 of Lecture Notes in Computer Science, pages 179-195, 2016, Springer Verlag.
PDF bib DOI
A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion
Mathematical Foundations of Computer Science 2016 - 41st International Symposium, MFCS 2016 (Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier), volume 58 of LIPIcs, pages 34:1-34:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
PDF bib
An Algorithmic Framework for Labeling Road Maps
Geographic Information Science (GIScience ‘16) (Miller, Jennifer A. and O’Sullivan, David and Wiegand, Nancy), volume 9927 of LNCS, pages 308-322, 2016, Springer International Publishing.
PDF bib DOI
Backdoors for Linear Temporal Logic
11th International Symposium on Parameterized and Exact Computation (IPEC 2016) (Jiong Guo and Danny Hermelin), volume 63 of Leibniz International Proceedings in Informatics (LIPIcs), pages 23:1-23:17, 2016, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.
PDF bib DOI
Backdoors to Tractable Valued CSP
Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings (Michel Rueher), volume 9892 of Lecture Notes in Computer Science, pages 233-250, 2016, Springer Verlag.
PDF bib DOI