Knowledge Processing and Information Systems
Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All?

@inproceedings{DBLP:conf/kr/Hecher20,
  title = {Treewidth-aware Reductions of Normal {ASP} to {SAT} - Is Normal {ASP} Harder than {SAT} after All?},
  author = {Hecher, Markus},
  booktitle = {{KR}},
  pages = {485--495},
  year = {2020}
}