Model enumeration in propositional circumscription via unsatisfiable core analysis

Mario Alviano

Many practical problems are characterized by a preference relation over admissible solutions, where preferred solutions are minimal in some sense. For example, a preferred diagnosi…