A Dynamic−Programming Based ASP−Solver
Michael Morak‚ Reinhard Pichler‚ Stefan Rümmele and Stefan Woltran
Book Title
Logics in Artificial Intelligence − 12th European Conference‚ JELIA 2010‚ Helsinki‚ Finland‚ September 13−15‚ 2010. Proceedings
Editor
Tomi Janhunen and Ilkka Niemelä
ISBN
978−3−642−15674−8
Pages
369–372
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6341
Year
2010