TY  - RPRT
TI  - Treewidth-aware Reductions of Normal ASP to SAT -- Is Normal ASP Harder than SAT after All?
AU  - Markus Hecher
PY  - 2022
UR  - https://arxiv.org/abs/2210.03553
ID  - 2210.03553
ER  -