Xtract

Saving Critical Nodes with Firefighters is FPT
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.
PDF Cite DOI
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (Carles Sierra), pages 607-613, 2017, ijcai.org.
PDF Cite
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çois Raskin), volume 83 of LIPIcs, pages 36:1-36:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
PDF Cite
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 Cite
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 Cite
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 Cite
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 Cite
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 Cite DOI
Backdoors to q-Horn
Algorithmica, volume 74, number 1, pages 540-557, 2016.
PDF Cite 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 Cite DOI