circumscriptino

MaRDI QIDQ44779swMATHFDO

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