dynASP

swMATH9817MaRDI QIDQ21796FDOQ21796

Author name not available (Why is that?)

Described by source

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

Cited In (7)

• A Dynamic-Programming Based ASP-Solver
• A multiparametric view on answer set programming
• Solving projected model counting by utilizing treewidth and its limits
• Title not available (Why is that?)
• Backdoors to tractable answer set programming
• Title not available (Why is that?)
• Default logic and bounded treewidth

This page was built for software: dynASP