circumscriptino

swMATH33070MaRDI QIDQ44779FDOQ44779

Author name not available (Why is that?)

Source code repository: https://github.com/alviano/aspino

Cited In (2)

• Model enumeration in propositional circumscription via unsatisfiable core analysis
• Argumentation Reasoning via Circumscription with Pyglaf

This page was built for software: circumscriptino