Knowledge Processing and Information Systems Answer Set Solving exploiting Treewidth and its Limits
@article{DBLP:journals/corr/abs-1905-01688,
title = {Answer Set Solving exploiting Treewidth and its Limits},
author = {Hecher, Markus},
journal = {CoRR},
volume = {abs/1905.01688},
year = {2019}
}