Answer Set Solving with Bounded Treewidth Revisited

Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran. Answer Set Solving with Bounded Treewidth Revisited. In Marcello Balduccini, Tomi Janhunen, editors, Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. Volume 10377 of Lecture Notes in Computer Science, pages 132-145, Springer, 2017. [doi]

Abstract

Abstract is missing.