circumscriptino

swMATH33070MaRDI QIDQ44779FDOQ44779

Author name not available (Why is that?)

Official website: https://alviano.com/software/circumscriptino/

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

Cited In (4)

• Model enumeration in propositional circumscription via unsatisfiable core analysis
• hclasp
• LP2SAT
• Argumentation reasoning via circumscription with \textsc{pyglaf}

This page was built for software: circumscriptino