M. S. Ramanujan

Solving d-SAT via backdoors to small treewidth

Ringo Baumann

Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in Abstract Argumentation