dynASP swMATH ID: 9817 Software Authors: Morak, Michael; Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan Description: A dynamic-programming based ASP-solver. We present a novel system for propositional Answer-Set Programming (ASP). This system, called dynASP, is based on dynamic programming and thus significantly differs from standard ASP-solvers which implement techniques stemming from SAT or CSP. Homepage: http://link.springer.com/chapter/10.1007%2F978-3-642-15675-5_34 Related Software: Jdrasil; ToTo; Regina; MiniSat; Lparse; Gurobi; Python; iClingo; Clingo; NuMVC; clasp; Potassco; Gringo; Cmodels; CPLEX; ASSAT; SageMath Cited in: 7 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year DynASP2.5: dynamic programming on tree decompositions in action. Zbl 1443.68164Fichte, Johannes K.; Hecher, Markus; Morak, Michael; Woltran, Stefan 2018 all top 5 Cited by 15 Authors 4 Fichte, Johannes Klaus 3 Woltran, Stefan 2 Hecher, Markus 2 Morak, Michael 1 Bonnet, Edouard 1 Dell, Holger 1 Komusiewicz, Christian 1 Kronegger, Martin 1 Pichler, Reinhard 1 Rümmele, Stefan 1 Schindler, Irina 1 Sikora, Florian 1 Szeider, Stefan 1 Talmon, Nimrod 1 Weller, Mathias Cited in 3 Serials 1 Artificial Intelligence 1 Information and Computation 1 Annals of Mathematics and Artificial Intelligence Cited in 2 Fields 7 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) Citations by Year