A Dynamic-Programming Based ASP-Solver.

Michael Morak, Reinhard Pichler, Stefan Rmmele, Stefan Woltran

Browse the full JELIA paper archive.