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]

Authors

Johannes Klaus Fichte

This author has not been identified. Look up 'Johannes Klaus Fichte' in Google

Markus Hecher

This author has not been identified. Look up 'Markus Hecher' in Google

Michael Morak

This author has not been identified. Look up 'Michael Morak' in Google

Stefan Woltran

This author has not been identified. Look up 'Stefan Woltran' in Google