dynASP

swMATH9817MaRDI QIDQ21796

No author found.

Described by source

• DynASP2.5: Dynamic Programming on Tree Decompositions in Action

Related Items (7)

Solving projected model counting by utilizing treewidth and its limits ⋮ Unnamed Item ⋮ A Dynamic-Programming Based ASP-Solver ⋮ Default logic and bounded treewidth ⋮ Unnamed Item ⋮ A multiparametric view on answer set programming ⋮ Backdoors to tractable answer set programming

This page was built for software: dynASP