Treewidth-aware Reductions of Normal ASP to SAT -- Is Normal ASP Harder than SAT after All?

Re-assign community