Xtract

Going Beyond Primal Treewidth for (M)ILP
PDF Cite
Linear Representation of Transversal Matroids and Gammoids parameterized by rank
PDF Cite DOI
Lossy kernelization
PDF Cite DOI
New Width Parameters for Model Counting
PDF Cite DOI
On Structural Parameterizations of the Edge Disjoint Paths Problem
PDF Cite
On the parameterized complexity of finding small unsatisfiable subsets of CNF formulas and CSP instances
PDF Cite DOI
Path-Contractions, Edge Deletions and Connectivity Preservation
PDF Cite DOI
Rigging Nearly Acyclic Tournaments Is Fixed-Parameter Tractable
PDF Cite
SAT-Based Local Improvement for Finding Tree Decompositions of Small Width
PDF Cite DOI
Saving Critical Nodes with Firefighters is FPT
PDF Cite DOI