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
Solving d-SAT via backdoors to small treewidth
Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in Abstract Argumentation