Xtract

A single-exponential fixed-parameter algorithm for distance-hereditary vertex deletion
PDF Cite
Meta-kernelization using well-structured modulators
PDF Cite DOI
On the complexity of rainbow coloring problems
PDF Cite
Small Resolution Proofs for QBF using Dependency Treewidth
PDF Cite
Solving Problems on Graphs of High Rank-Width
PDF Cite DOI
The complexity landscape of decompositional parameters for ILP
PDF Cite
A Linear-Time Parameterized Algorithm for Node Unique Label Cover
PDF Cite DOI
Backdoor Treewidth for SAT
PDF Cite DOI
Combining Treewidth and Backdoors for CSP
PDF Cite DOI
Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting
PDF Cite DOI