A Dynamic-Programming Based ASP-Solver

DOI10.1007/978-3-642-15675-5_34zbMath1306.68011OpenAlexW1528197731MaRDI QIDQ4930781

Michael Morak, Stefan Rümmele, Stefan Woltran, Reinhard Pichler

Publication date: 1 October 2010

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15675-5_34

Mathematics Subject Classification ID

Dynamic programming (90C39) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (2)

Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs ⋮ Backdoors to tractable answer set programming

Uses Software

• dynASP

This page was built for publication: A Dynamic-Programming Based ASP-Solver