Xtract

Solving Integer Linear Programs with a Small Number of Global Variables and Constraints

A Faster Parameterized Algorithm for Group Feedback Edge Set

M. S. Ramanujan

A New Perspective on FO Model Checking of Dense Graph Classes

Jakub Gajarský and Petr Hlinený and Jan Obdrzálek and Daniel Lokshtanov and M. S. Ramanujan

A Parameterized Algorithm for Mixed-Cut

Ashutosh Rai and M. S. Ramanujan and Saket Saurabh

Backdoors for Linear Temporal Logic

Arne Meier, Sebastian Ordyniak, Ramanujan Sridharan, Irena Schindler

Backdoors to q-Horn

Serge Gaspers, Sebastian Ordyniak and M. S. Ramanujan, Saket Saurabh, Stefan Szeider

Backdoors to Tractable Valued CSP

Robert Ganian, M.S. Ramanujan, Stefan Szeider

Counting Linear Extensions: Parameterizations by Treewidth

Eduard Eiben, Robert Ganian, Kustaa Kangas, Sebastian Ordyniak

FO Model Checking of Interval Graphs

Robert Ganian, Petr Hlinen ́Y, Daniel Kr\ál, Jan Obdrz\'ék, Jarett Schwartz, Jakub Teska

Meta-Kernelization with Structural Parameters

Robert Ganian, Friedrich Slivovsky, Stefan Szeider