DNF-Net

Literal Quantification

Process of automatically determining the relative importance of each logical literal in the clauses of the DNF-Net.

← Terug