aspcud

swMATH19012MaRDI QIDQ30843FDOQ30843

Author name not available (Why is that?)

Cited In (3)

• Prolog and ASP Inference under One Roof
• Pruning external minimality checking for answer set programs using semantic dependencies
• What is answer set programming to propositional satisfiability

This page was built for software: aspcud