circumscriptino
From MaRDI portal
Software:44779
No author found.
Source code repository: https://github.com/alviano/aspino
Related Items (2)
Model enumeration in propositional circumscription via unsatisfiable core analysis ⋮ Argumentation Reasoning via Circumscription with Pyglaf
This page was built for software: circumscriptino
