Get started
Award

Exploiting New Types of Structure for Fixed Parameter Tractability (X-TRACT)

Amount: €330,900
Funding type: grant
Start date: 2014-07-01
Funded outputs count: 52
Funder award ID: P26696
OpenAlex ID: G5610024377
When recursion is better than iteration: A linear-time algorithm for directed acyclicity with few error vertices
2025 · Daniel Lokshtanov, M.S. Ramanujan, et al. · Journal of Combinatorial Theory Series B · 1
On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem
2020 · Robert Ganian, Fabian Klute, et al. · Algorithmica · 42
PDF
Parameterized Complexity and Approximability of Directed Odd Cycle Transversal
2019 · Daniel Lokshtanov, M. S. Ramanujan, et al. · Society for Industrial and Applied Mathematics eBooks · 44
PDF
Lower Bounds for QBFs of Bounded Treewidth
2019 · Fichte, Johannes Klaus, Hecher, Markus, et al. · arXiv (Cornell University) · 1
PDF
On the Complexity Landscape of Connected f-Factor Problems
2019 · R. Ganian, N. S. Narayanaswamy, et al. · Algorithmica
Lossy Kernels for Connected Dominating Set on Sparse Graphs
2019 · Eduard Eiben, Mithilesh Kumar, et al. · SIAM Journal on Discrete Mathematics · 15
PDF
The PACE 2019 Parameterized Algorithms and Computational Experiments Challenge: The Fourth Iteration (Invited Paper)
2019 · Dzulfikar, M. Ayaz, Fichte, Johannes K., et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 14
PDF
On the Complexity Landscape of Connected f -Factor Problems
2018 · Ganian, R., Narayanaswamy, N. S., et al. · arXiv (Cornell University)
PDF
Path-contractions, edge deletions and connectivity preservation
2018 · Gregory Gutin, M.S. Ramanujan, et al. · Journal of Computer and System Sciences · 7
PDF
Backdoors for Linear Temporal Logic
2018 · Arne Meier, Sebastian Ordyniak, et al. · Algorithmica · 6
PDF
Counting Linear Extensions: Parameterizations by Treewidth
2018 · E. Eiben, R. Ganian, et al. · Algorithmica · 10
PDF
A single-exponential fixed-parameter algorithm for distance-hereditary vertex deletion
2018 · Eduard Eiben, Robert Ganian, et al. · Journal of Computer and System Sciences · 9
Parameterized Complexity of Asynchronous Border Minimization
2018 · Robert Ganian, Martin Kronegger, et al. · Algorithmica
Exploiting Treewidth for Projected Model Counting and its Limits
2018 · Fichte, Johannes K., Morak, Michael, et al. · arXiv (Cornell University)
PDF
A New Perspective on FO Model Checking of Dense Graph Classes
2018 · Gajarský, Jakub, Hliněný, Petr, et al. · arXiv (Cornell University) · 3
PDF
Improved Results for Minimum Constraint Removal
2018 · Eduard Eiben, Jonathan Gemmell, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 14
Default Logic and Bounded Treewidth
2018 · Johannes K. Fichte, Markus Hecher, et al. · Lecture notes in computer science · 11
When Recursion is Better than Iteration: A Linear-Time Algorithm for Acyclicity with Few Error Vertices
2018 · Daniel Lokshtanov, M. S. Ramanujan, et al. · Society for Industrial and Applied Mathematics eBooks · 16
PDF
Weighted Model Counting on the GPU by Exploiting Small Treewidth
2018 · Fichte, Johannes K., Hecher, Markus, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 14
PDF
Small Resolution Proofs for QBF using Dependency Treewidth
2018 · Eiben, Eduard, Ganian, Robert, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2
PDF
Reducing CMSO Model Checking to Highly Connected Graphs
2018 · Lokshtanov, Daniel, Ramanujan, M. S., et al. · Warwick Research Archive Portal (University of Warwick) · 15
PDF
Meta-kernelization using well-structured modulators
2017 · Eduard Eiben, Robert Ganian, et al. · Discrete Applied Mathematics · 4
PDF
Small Resolution Proofs for QBF using Dependency Treewidth
2017 · Eiben, Eduard, Ganian, Robert, et al. · arXiv (Cornell University) · 3
PDF
On Structural Parameterizations of the Edge Disjoint Paths Problem
2017 · Ganian, Robert, Ordyniak, Sebastian, et al. · arXiv (Cornell University)
PDF
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints
2017 · Pavel Dvořák, Eduard Eiben, et al. · International Joint Conference on Artificial Intelligence · 27
PDF
Year
Topic