Structure-Aware Encodings of Argumentation Properties for Clique-width

Yasir Mahmood, Markus Hecher, Johanna Groven +1

Structural measures of graphs, such as treewidth, are central tools in computational complexity resulting in efficient algorithms when exploiting the parameter. It is even known th…