aspcud
From MaRDI portal
Software:30843
No author found.
Related Items (3)
What is answer set programming to propositional satisfiability ⋮ Pruning external minimality checking for answer set programs using semantic dependencies ⋮ Prolog and ASP Inference under One Roof
This page was built for software: aspcud
