Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran. A New Tree-Decomposition Based Algorithm for Answer Set Programming. In IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011. pages 916-918, IEEE, 2011. [doi]
Abstract is missing.