Model enumeration in propositional circumscription via unsatisfiable core analysis

Devs

Model enumeration in propositional circumscription via unsatisfiable core analysis | Read Paper on Bytez