A New Tree-Decomposition Based Algorithm for Answer Set Programming.

Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rmmele, Stefan Woltran

Browse the full ICTAI paper archive.