Calcul de Modèle Minimal

Le processus de calcul des modèles d'une théorie ou d'une spécification qui sont minimaux au sens de l'inclusion d'ensembles ou d'un ordre donné, souvent destiné à capturer des solutions canoniques, parcimonieuses ou attendues parmi plusieurs modèles.