Answer Set Solving with Bounded Treewidth Revisited.

Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran

Browse the full LPNMR paper archive.