DNF-Net

Quantification de Littéraux

Processus de détermination automatique de l'importance relative de chaque littéral logique dans les clauses du DNF-Net.

← Retour