swMATH9817MaRDI QIDQ21796FDOQ21796
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-15675-5_34
Cited In (11)
- The PACE 2017 parameterized algorithms and computational experiments challenge: the second iteration
- A multiparametric view on answer set programming
- Solving projected model counting by utilizing treewidth and its limits
- A dynamic-programming based ASP-solver
- ToTo
- Jdrasil
- Hailfinder
- countAntom
- Backdoors to tractable answer set programming
- Default logic and bounded treewidth
- The PACE 2018 parameterized algorithms and computational experiments challenge: the third iteration
This page was built for software: dynASP
