Cited in
(11)- Backdoors to tractable answer set programming
- A dynamic-programming based ASP-solver
- Default logic and bounded treewidth
- A multiparametric view on answer set programming
- The PACE 2017 parameterized algorithms and computational experiments challenge: the second iteration
- ToTo
- Jdrasil
- Hailfinder
- countAntom
- Solving projected model counting by utilizing treewidth and its limits
- The PACE 2018 parameterized algorithms and computational experiments challenge: the third iteration
This page was built for software: dynASP
