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

Markus Hecher

Browse the full KR paper archive.