Minimal Model Computation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The process of computing models of a theory or specification that are minimal with respect to set inclusion or a given ordering, often intended to capture canonical, parsimonious, or intended solutions among many models.